I feel like I have to rule out some misconceptions and defend Ada a bit, even though I don't use it very often any longer. Ada is not a magic bullet 1) Nothin

I feel like I have to rule out some misconceptions and defend Ada a bit, even though I don't use it very often any longer. Ada is not a magic bullet 1) Nothing is a magic bullet. (And certainly no actual user of Ada has ever claimed that it is a magic bullet.) Ada is not easy to write, it's around the level of C I grant you. 2) Ada is way harder to write than C, unless you're very proficient with it, of course. It's a much bigger language, and the syntax is not easy. Ada is designed for easy readability and maintainability, not for easy writing. It also requires a lot of repetition if you write good style. (You can write Ada code like C and Pascal, but then you loose most of the language's main advantages.) Overhead, each of these features like assert adds a lot of overhead into the system, this is just not viable in a lot of systems. 3.) Ada is blazingly fast even without any optimization, and after optimization basically around the performance of C (or C++, if you use tagged types with dynamic dispatch). That's not very surprising, since GNAT uses gcc's backend optimizations. As for overhead, every runtime-check in Ada can be switched off. You can even discard the whole runtime system and use your own minimal runtime system, if you feel ambitious. There is reason to believe that future versions of Rust (or even the current compiler) are faster than idiomatic, well-styled Ada. The goal of Ada was never to produce the fastest executables, and the fact that GNAT creates so fast ones is merely due to the authors of GCC and Ada's strong focus on compile-time operations and checks that it shares with Rust.) Toolchain and library support, most of us can't afford expensive toolchains and libraries 4) Absolutely true, library support is not comparable to C and not even remotely comparable to C++. However, see my other remark here, an Ada library that appears to be abandoned will compile and work 100% fine and you can understand it by reading the source code (no documentation needed). But yeah, there are way less libraries, of course. As for Java or Python, these are bad comparisons. They are both much slower than Ada and way less maintainable.