3 ms·

> 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, zer

> 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.

tgv 6d ago
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.
zumtrotz 5d ago
Ada does not get enough love.