Wat The types of analysis and programming practices used to send stuff to Mars is beyond what Rust, or D, or any other safer-systems-language tries to do. It's

Wat The types of analysis and programming practices used to send stuff to Mars is beyond what Rust, or D, or any other safer-systems-language tries to do. It's not that simple. These types of projects effectively need to prove the absence of bugs using formal verification and very extensive testing. Surprise surprise, C makes it extremely expensive and theoretically difficult too. For example: NASA wrote this project https://github.com/NASA-SW-VnV/ikos https://github.com/NASA-SW-VnV/ikos which uses abstract interpretation and would catch bugs in practically any language.