細かい変更点まで見ていきましたら一向に終わりそうにないです。必要としない型の保証が欲しくなるときありますよね。destructibleです。2005でやめたそうですよ。Leroy先生の発言の記録が残っていました。95の時点で既に処理系ごとに拡張されまくってましたし。Adaもすごそうです。controlled型を禁止できます。型等も含めて禁止できます。困ったことにパーティション(雑なイメージとしては.exeや.dll)全体に影響します。特定箇所だけ制限したい場合はライブラリとして切り出してpragmaを付けてコンパイルできるかテスト、みたいな手順が必要になります。アスペクトが追加されました。型が終了処理を必要としていたらエラーにしてくれます。No_Controlled_Parts;型ごとに終了処理を必要としない保証ができるようになりました。No_Controlled_Parts所感¶これは便利です。引数としてcontrolled型等を渡されたくない場合に簡単に弾けるようになりました。Low_Level_Op;強いて言えば値として取得してif文で使えればもっと便利でした。今後更に強化されることを期待します。