Since the compiler is a harsh mistress, it's actually a very nice environment for refactoring. Use the compiler, and use strong typing. Enumerated types, switch

Since the compiler is a harsh mistress, it's actually a very nice environment for refactoring. Use the compiler, and use strong typing. Enumerated types, switchn/case statements where you have to fill every case, most stuff is caught at compilation and then during the first tests when you enable all the checks. We're in fact far more agile in our Ada projects than any with C or Java... Small teams, 1 to 10 mloc code bases, lots of reuse and refactoring.