Adaのサブセットに契約プログラミングをくっつけてさらにミッションクリティカルな用途向けにしたSPARK環境が普通のそこらのアプリ開発でも気軽に使えるようになってほしいけど、そもそも契約プログラミングが全然流行ってないと言うかブームが過ぎ去ったっぽいのどういうことなの・・・＞＜