> Personally while I'm somewhat pragmatic about Rust, I do have to admit it fills a niche that no other language does currently: that of a high-performance, zero runtime memory-safe language.
Ada/SPARK comes close: memory safety is very strong, formally provable. Has no GC. Excellent performance. Very mature.
SPARK is quite hard, harder than Rust, I would say (based on limited experience, though), and Ada isn't that memory safe, IIRC. They are, however, much more readable than Rust.
Ada/SPARK comes close: memory safety is very strong, formally provable. Has no GC. Excellent performance. Very mature.