Yeah, that's true. I think there are three major limitations. - First, code that is intentionally (or out of neglect) opaque to the compiler. For example, some

Yeah, that's true. I think there are three major limitations. - First, code that is intentionally (or out of neglect) opaque to the compiler. For example, someone may simply forget to write type stable code, or someone might intentionally create a function barrier to specialize some code - Second, Julia has no standard way of encoding constrains on types. That's good, because someone else can make up a new type you never thought about, and throw it into your functions, and if it has implemented all the right methods, it will work. But it also means you can never guarantee your code will work for any type. - Third, Julia encodes less information in the type system - e.g. the use of result types is not common.