Rust seems to be a good choice considering their initial reasoning behind choosing OCaml. It offers static typing with support for sum types and is reasonably fast, while certainly providing more in terms of libraries.

Post reply on HN