I'm failing to see how static Python addresses any of the concerns you listed. In fact you seem to defeat your own argument when you state: >A lot of the fail

I'm failing to see how static Python addresses any of the concerns you listed. In fact you seem to defeat your own argument when you state: >A lot of the failures in space that were caused by software weren't actually programming errors... Indeed this is true. I work in aerospace (though not in a software development role) and I can tell you a lot of shops are using C/C++ for embedded applications with strict style guides to attempt to mitigate the flaws in those languages. I think the fact that many aerospace-related problems aren't due to programming errors says that current practices are working.