>>171
そもそもADAは軍用組み込み制御用に開発された言語で、国防総省が仕様をまとめた
CやC++はそうじゃない

ほんでCやC++ではOKな曖昧さもADAは許されずコンパイルエラーとなる
ガッチガチに型や制御構文が厳格な仕様

Cとかだとswitch文でdefaultがなくてもコンパイルエラーにはならないけど、ADAのcase文じゃwhen othersを入れないとエラーになる
ようするに暗黙の制御というのが認められない

なんで現時点でもCやC++より信頼性が高いのだ
最近じゃB787もADAで動いてる
というかボーイングの民間機はだいたいADA