The canonical example of dependent types is that of an array type parameterized by the size of the array.

从属类型的标准实例是数组大小参数化的数组。

youdao

The canonical example of dependent types is that of an array type parameterized by the size of the array.

从属类型的标准实例是数组大小参数化的数组。

youdao