At the beginning of the century I worked at a company that used Ada for radar software. As it became clear the hpux and Solaris (pa-risc and sparc) where being

At the beginning of the century I worked at a company that used Ada for radar software. As it became clear the hpux and Solaris (pa-risc and sparc) where being replaced by Linux On x86 and my company had AdaCore come in and do training in the new toolset (rational not providing Ada compilers for Linux) AdaCore were quite knowledgeable as a company company offering a supported vendor of gnu Ada. I think they’re Still involved heavily in the development of the free ada compiler “GNAT” (part to gcc) https://www.adacore.com/get-started https://www.adacore.com/get-started Defense companies liked open source vendors to take risk off and I’m not sure how it worked but some Ada compilers were “validated” I grew to like Ada, (it has some warts, strings for example, but we didn’t use them often) GNAT Wikipedia page. https://en.m.wikipedia.org/wiki/GNAT https://en.m.wikipedia.org/wiki/GNAT