You can absolutely use Ada as merely Pascal with a more pedantic type system. So very reasonably sized. Importantly though, Ada is much more coherent (and less

You can absolutely use Ada as merely Pascal with a more pedantic type system. So very reasonably sized. Importantly though, Ada is much more coherent (and less timtowtdi) than say C++ so as you do start bringing in more of the language into your codebase the "every one uses a different 10% of the language" problem of C++ isn't much of a problem for Ada.