If someone writes a nice summary of what is missing/failing in each one of those typed languages, would be very fruitful. At the end why don't we see a flood of people quitting C/C++ or dynamic languages to jump to those challengers?
inertia. Observers are waiting for a killer app to sway the masses. Obviously memory safety isn't a killer feature in many eyes, because they trust their abilities, would have to go all out using the unsafe environment or they don't see the benefit of one less class of bugs over other concerns. If they did any of that, they would at least be using e.g. java already - on another note I'm only waiting for rustc's first security relevant bugs to be reported, that are supposedly impossible.
I heard the name was a play on words on a one-of-error concerning Trust.
Nobody pretends that bugs in rustc are impossible. :P Go peruse the issue tracker if you don't believe me, though many of the soundness bugs there are so obscure that I think you'd have a hard time exploiting them in theory, let alone in practice (and they're also liable to be fixed well before Rust starts getting deployed en masse).
