PascalとかAdaの部分範囲型、他の環境に無いの単にPascal好きとして「あれあると便利なのに＞＜；」って前は思ってただけだけど、今は「真に型安全な環境を構築する為には必須の機能だし、これがない環境で『失敗すると人が死ぬ』分野のソフトウェアが書かれているなんて信じられない！＞＜ そういうソフトウェアはAdaで書かれるべきだ！＞＜」みたいな原理主義者になったけどAda一回も使ったこと無い・・・＞＜