Are we all just pretending that Ada doesn't exist now? It's type safe, thread safe, memory safe, overrun safe, a whole bunch of other sorts of safe. It was designed to accommodate huge projects. It has been used in major projects. It has an open source toolchain, and the unusual feature of a freely available ISO standard. And it has been around as long as C++. Yet not a word about it anywhere in the article.