标签： compiler-construction types
具有类型T的M个元素的数组的类型表达式是
阵列（1 ... M，T）
然后对于具有M行和N列的2D数组应该是什么？它应该是两个阵列的笛卡尔积吗？请帮忙。
答案 0 :(得分：1)
对于M * N数组，类型表达式为
数组（1 ... M，数组（1 ... N，类型））
其中M是行数，N是列数。只需将2D数组视为数组数组。