>>32
There's a lot of stuff you're missing then. But I'll give you this, if it weren't for the concurrency and C ABI there would be no need to go the Rust route, with the possible exception that it is familiar to C++ people (yet manages to get things right), and has better objects in a sense than OCaml does. Note, you can't produce a C-library in OCaml but the expectation is that you will be able to in Rust (no GC, no runtime at all.)
On a related note: JoCaml is an interesting language, but I don't envision it addressing my needs.