> simple changes having quite a large spread through the codebase due to the strong typing The opposite is true in my experience and refactors are usually well

> simple changes having quite a large spread through the codebase due to the strong typing The opposite is true in my experience and refactors are usually well bounded. The "killer feature" of Ada is that types are not modules for writing behavior (in general). This means that syntactically, you can move functions/procedures around somewhat freely because encapsulation and namespacing is done at the package level. It leads to a lot more appropriate data and responsibility hiding, and avoids wasted time considering "is this a method or a (standalone) free function?"