The closest concept I can think of is the concept of &quot;strong typing,&quot; that a value does not change type based on its context, which is a fairly widely used term. It seems like Julia has some form of weak typing, at least between the different numeric primitives, and &quot;type stability&quot; refers to avoiding any usage of weak typing. I don&#x27;t know a lot about Julia, though, so I could be way off here.