4 ms·

Just curious, which languages have better type systems?

• digisign 4y ago
  All of them? Minus the dynamic/weaks, such as original javascript.
• pdimitar 4y ago
  Rust, Haskell, OCaml, and many others. Golang's typing system is fairly half-done.
• mixedCase 4y ago
  TypeScript, Kotlin, Scala, Haskell, Rust, Swift, modern Java, C#, F#, OCaml, Reason, Elm, PureScript,... it's a long list. I'd also count Python with MyPy, but having a mostly untyped ecosystem means you can't take much advantage of it.
• brobinson 4y ago
  It's easier to list which ones don't at this point. The Go team ignored the last 50 years of improvements in type systems.