> there's an incredibly safe and expressive language that's used in high-reliability applications like missile guidance systems, that nobody seems to talk about.

Maybe because they assume that it's only used for that purpose? You talk about rocket science and you expect people to jump on the bandwagon...