C# やSwiftのRange型とか、色々な言語で範囲を示す機能は近年というかごく最近実装が進んで行ってるっぽいのに、PascalやAdaのような、範囲自体を新たな型として定義(Subrange Types)して静的型検査してコンパイル時に検出できる機能が頑なに全然実装されずに実行時にしか検査できないままなの、なんでなのか不思議・・・＞＜