違う。
type a[100]のようなデータ領域を確保する。
そしてデータをa[i]をiとして扱うことにより型がなくても処理ができるようになる。