ちょっとわかりにくかった http://en.wikipedia.org/wiki/Dependent_type このというのは、 function make_size_n_vector(n) { return new Array(n); }のような関数の型を表すもの。単に「型Nの引数を受け取って、『要素型RのVec』を返す関数」じゃなく、「…