Julia is not statically typed semantically. It has the semantics of a dynamic language. As an implementation detail, it has a statically typed intermediate rep

Julia is not statically typed semantically. It has the semantics of a dynamic language. As an implementation detail, it has a statically typed intermediate representation that's used for very aggressive and impressive optimization. But that's an implementation detail, and is not what most people mean when they talk about a language being dynamically or statically typed.