I wouldn't be so quick to dismiss how avionics is done currently. That software operates against very difficult requirements, the industry has learned a lot abo

I wouldn't be so quick to dismiss how avionics is done currently. That software operates against very difficult requirements, the industry has learned a lot about how to do so reliably. These systems favor static allocation over heap allocation, so a garbage collector isn't as useful as you'd assume. Nothing against python, but it's just not suited to writing avionics code that human lives depend on. Now, in some ideal future, could we be using better languages? Absolutely. Stuff like ATS looks like the future of that kind of code, IMO. Likewise, Rust's memory management types make a ton of sense and could be useful for the situations where static allocation can't do the job.