[jayp1418]

I wonder why people don't use Ada Programming Language also ? It has Spark subset for formal verification also

[dist1ll]

Does Ada have strong concurrency support and compile-time data race freedom?

[ghostwriter]

Haskell does have both

[dist1ll]

Haskell is not a high-performance systems programming language, not sure how it's relevant in a discussion about Rust, C++ and Ada

[ghostwriter]

It's relevant because many people using Rust are using it for building web backends where high-performance systems language is not needed, yet the safe concurrency is required.