たとえば、曜日型(月火水木金土日)の部分範囲型である平日型(月..金)を簡潔な構文で宣言して、
平日型に土日を代入するコードや、平日型に曜日型を暗黙に型変換しようとするコードはコンパイル時の静的型検査によりエラー検出されて、一方で曜日型に平日型を代入するコードはエラーになら無い
みたいなのを簡潔に書けるの、なんでPascalとAdaくらいでしかできないままなのか・・・＞＜