So for a mission critical or safety critical system, what's the alternative? It looks like the options are: 1, assembler 2, C + validated compiler + s

So for a mission critical or safety critical system, what's the alternative? It looks like the options are: 1, assembler 2, C + validated compiler + static verification + coding standard (MISRA-C maybe) 3, C++ + validated compiler + static verification + coding standard (MISRA-C++ maybe) 4, Java + specialized VM with RTSJ + static verification + coding standard (RTSJ) 5, Ada/SPARK + ??? So really, C/C++/Java/Ada aren't being used alone, it's the language + validated compiler + verification tools + a coding standard that are being used. How are Haskell, Rust, Go, and whatever other nouveau language of interest to the HN crowd tenable options for serious work when they lack the ecosystem of a formal standard, validated compilers and verification tools, track record, etc.?