Re:Six years of professional Clojure development
by SatvikBeri on Thursday May 06, 2021 @01:52PM
(#27066859)
I use & love Julia, but it doesn't have really static typing – it has runtime validation based on type annotations. For static typing to be useful, IMO, you need static typechecking, usually done at compile-time.
[ Parent
| on HN ]
Re:Six years of professional Clojure development
by eigenspace on Thursday May 06, 2021 @02:58PM
(#27067668)
This is a common point of confusion for people. Julia has a useful and expressive type system, so people just assume it must be static but it's not, julia is dynamically typed.
It's intermediate representation is statically typed, but the language itself has dynamic semantics.
That said, we have almost every trick and tool up our sleeves that static languages have (in various stages of development). Check out https://github.com/aviatesk/JET.jl if you want static typechecking of julia code.