固定長の配列の長さを双方向(←説明難しい＞＜；)に型として扱えるような言語ってあったらいいのに＞＜(みたいな発想も厳密な数学方面の型とは別のものっぽい？＞＜)