3::[4;5;2;7];;
List.length [4;5;2;7];;
[4;5;2;7]::3;;
这给出了错误 此表达式应具有 int 列表列表类型,但此处具有 int 类型
我知道它可以通过做来解决:[4;5;2;7];; List.append it [3];;
但是还有其他方法可以做到吗?
这是一个非常糟糕的问题。但是,代码中的最后一行将失败
此表达式应具有类型 int 列表列表,但这里有类型 国际
.. 因为 :: 将元素连接到列表。它只能从前面做到这一点,因为列表是一个单链表。如果要在列表末尾添加元素,则可能使用了错误的数据结构。如果你真的想在列表的末尾添加一个元素,你可以这样做
[4;5;2;7] @ [3];;
请注意,这将非常低效。