Ada is a really nice, really effective language for being careful in, and yet compiling low-level and with a great deal of on-the-metal control, possibly more s

Ada is a really nice, really effective language for being careful in, and yet compiling low-level and with a great deal of on-the-metal control, possibly more so than C without cheating and stepping outside the language. And yet, inexplicably, it never became popular. It can't be compiler support, there's GNAT and there has been for over a decade.