Adaの後継として、(言語としての)Delphiをベースに、もっとSimulaに構文近づけた上で、契約プログラミングを前提としたミッションクリティカル分野向けの言語が出来たらいいのに・・・＞＜
新しい言語だとそういう分野が要求するレベルの安全性を保証できるコンパイラを作るのにたぶん検証が大変すぎて、だからこそAdaがとても消極的なやり方でコンパイラを大幅に書き換えずに済むようにオブジェクト志向の導入をしたんだろうけど・・・＞＜