[abyesilyurt]

Just curious, which languages have better type systems?

[mixedCase]

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]

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.

[digisign]

All of them? Minus the dynamic/weaks, such as original javascript.

[pdimitar]

Rust, Haskell, OCaml, and many others.

Golang's typing system is fairly half-done.