>that Rust is probably the better choice for high-stakes use-cases such as life-critical software I would say SPARK2014 or straight up Ada for life-critical so

>that Rust is probably the better choice for high-stakes use-cases such as life-critical software I would say SPARK2014 or straight up Ada for life-critical software given the maturity and target markets. Rust is heading there, and there is some communication between Adacore and Ferrous Systems (Rust group)[1] taking place that gets me excited, but I will stick with SPARK2014 for now. [1] https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust https://blog.adacore.com/adacore-and-ferrous-systems-joining...