[bbkane]

I'd particularly like examples of statically typed languages that "got it right" (since I love me my types)

[galangalalgol]

Ocaml maybe? Multi threading didn't seem necessary and introduced the possibility of data races.