Safety critical code seems to still be usually in C/C++, for reasons having nothing to do with the language being safe. Why are these people not studying Erlang, MISRA C, Rust, some kind of formal proof solver language, or OpenCL?
What do people aspire to one day work on that would make the Haskell or LISP more appealing than a more locked down, static checking, kind of language?
Programming culture is more confusing than the code itself!