これは、Pascalよりも失敗できない用途向けの環境であるAdaが、配列に限らずあらゆる数値表現に対して静的型検査をして現実での安全性を確保するってしてることも考えると、つまり、ヒューマンエラーをなるべく減らすために実際の数値を型で表現させて型検査させる為に実際の数値で扱わせる　みたいな発想なのかもって思うかも＞＜