3 ms·It's not just static typing. It's strong static typing like you see in Haskell, Idris, Scala, F#, etc.by stefantalpalaru 12y agoIt's not just static typing. It's strong static typing like you see in Haskell, Idris, Scala, F#, etc.