Adaの、例えば型を書くのめんどくさがって型推論に頼るような人が発狂しそうな型システム（？）、失敗すると人が死ぬ分野で失敗しないようにプログラミングするという方面で実績があるし「でもAdaってもう古いよね・・・。人材足りないし、予算的に有利なC++でお茶を濁そう」ってした結果、わけがわからない制限つきC++規約みたいな事になってアレになった（？）って考えると、やっぱAdaすばらしい・・・＞＜