… At this time, the most widely used languages that meet all three properties are C and C++, which are not memory safe programming languages. Rust, one example of a memory safe programming language, has the three requisite properties above, but has not yet been proven in space systems. …
On top of helping reduce power bills, maybe, and thus reducing the government’s carbon footprint.
I’m not sure if the numbers add up, but that’s definitely a factor worth considering.