The “safety” Rust offers is just avoiding C and C++ specific memory access pitfalls, similar to pretty much any mainstream programming language except C and C++

The “safety” Rust offers is just avoiding C and C++ specific memory access pitfalls, similar to pretty much any mainstream programming language except C and C++. It can also prevent data races, I’ll give it that. The novelty is doing the above at near C and C++ performance levels, not the protection offered. Rust is for the move fast and break things mainstream, where such “safety” is good enough. Ada and SPARK are for safety-critical systems. In other words, it’s playing in a different league.