[kevlar700]

Predicates are great but most of the good stuff including privacy, proper subtyping and abstract data types came with Ada 83. Rust can't hold a candle even to Ada 83 imo.

[oneplane]

Ada has practically no mindshare, Rust does. Just like say, Scala, things can be technically 'good', but without adoption it isn't going to get the attention and visibility to compete with everything that does.

[pjmlp]

Enough mindshare to keep 7 compiler vendors in business.

How many would pay for a Rust compiler?