あと、配列の長さを型で表現して型システムからも範囲チェックできる機能欲しいけど、それをしたい人もPascal一族系の人だけ？＞＜；