[masklinn]

There are many nice ideas in Ada, but I have two big issues with it:

1. It's a very lawyery language, there are very few things the compiler will accept to infer, which makes Ada tedious to read and write.

2. The strange mix of underscores and uppercases that is the normal Ada writing style (I believe Ada identifiers are case-insensitive, code from the 80s tends to be VERY_UPPERCASE_HEAVY while the same code now Tends_To_Be_Strangely_Capitalized) makes my head hurt.

And since this is avionics, they're probably dealing with embedded code (which tends to be even less readable) as well...

And as totalc notes, the OO additions of Ada 95 (if you have access to them) feel very bolted on and unnatural.