Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
Not an expert in ADA, but after playing around with it for a while, I don&#x27;t know why this language doesn&#x27;t get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These &quot;features&quot; today would likely be considered part of &quot;a better C&quot;, except that none of this is even new; ADA dates all the way back to the 80s. And then ADA&#x2F;Spark allows for formal verification, which C&#x2F;Rust do not have to my understanding.<p>Why is ADA not adopted more broadly?