5 * N * Int でも意味的には一意に解釈できそうですねえスカラ x スカラ x 型名なんで。コンパイラ実装上構文レベルで分離したい気持ちもわからなくもないけど。

2:09 AM

コンパイル時式がパラメトリックに書けるようになって、さらに値と型を区別しない場合が出てくると曖昧になって死ぬのかなあ　ただそこまで抽象化された文法に有用性がある気がしない

2:10 AM

[3 * 3 * Int] があるしたら、それは [9 * Int] を意味していて、 2次元にしたいなら [3 * [3 * Int]] になるし