Why rust? Didn't Ada and SPARK already pretty much solve the problems rust is tackling? rust feels like the systemd of languages: came out of nowhere and very heavily evangelized.
These types of comments really irritate me.
New thing X comes out that solves an unsolved problem.
Then someone comments "why not obsolete thing Y that doesn't solve the problem sufficiently"?
I constantly see comparisons like JVM vs WASM [1], or in this case Ada vs Rust.
And very often the newer thing is superior and is not popular just because of cargo culting.
[1] i.e. To obtain similar performance while still using java bytecode you will have to stop using the Java object model completely and exclusively use sun.misc.Unsafe and calculate field offsets of structs manually and still have the risk of vulnerabilities like buffer overflows similar to writing programs in C.
Ada doesn't have the memory guarantees of rust. Ada's type system is closer to that of C. Rust's type system is based on ML, which is based on a proven sound type theory. Ada has had a lot of work put into it, but the trouble is that the foundation was never verified to begin with.
