Hacker News Reader

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.