The most important distinction in a language is

whether it has GC or not.

>>11
1. SML is verified
2. C++ is a pain that gives you access to tons of libraries and megatons of legacy code. With Rust, you have to start over from rocks and spears for no reason.
3. No, I haven't, but the Anons on /prog/ posted their experience of Rust and the type system was insufferable.