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.
