That's certainly one way to minimize amount of code in the system, making it easier to review and presumably certify. I feel that with more common languages, i

That's certainly one way to minimize amount of code in the system, making it easier to review and presumably certify. I feel that with more common languages, it is so easy to grab some open-source library and use it without any code review whatsoever. Even if you prohibit third-party code, there might still be some copy-paste from open source projects and even Stack Overflow. Mandating that everything is written in Ada language neatly prevents all this stuff.