Rust is another favorite of mine, and with Rust you also get efficiency besides correctness and reusability.

I wish Rust would have gone with an ML syntax though, in particular the Hindley-Milner type signatures allow me to reason better about code reusability, the "fn" and braces just adds noise to me, too much Haskell I guess.