I'd particularly like examples of statically typed languages that "got it right" (since I love me my types)
Ocaml maybe? Multi threading didn't seem necessary and introduced the possibility of data races.
alt Hacker News
Ocaml maybe? Multi threading didn't seem necessary and introduced the possibility of data races.