C# 使ってての(感情的な？＞＜；)不満もそういう点で、AdaやPascalの部分範囲型が欲しいのも、Adaで失敗すると人が死ぬコードでなるべく失敗しないようにする仕様として使われてるっぽいから＞＜(実際に戦闘機とかのソースコード見たことはないからあれだけど＞＜；)