What about Rust? It seems like it has incorporated most of the good features of OCaml.