Adaが使われてた分野、C++に移行する場合でもC++そのものじゃなく安全の為に制限した仕様で開発されたりするし、そういうある意味極端かつ広義な安全性を持たせることが可能な仕様なのかなって・・・＞＜