OCAML 递归函数没有停止

Question

感谢您的帮助。我目前正在处理一项任务，并且遇到了错误的递归调用。 我有一个简单的 CAML-Light 函数，它应该接受一个列表和一个大小（数字），并返回一个包含该列表的一部分、该大小的列表以及一个包含其余部分的列表。其实很简单，就是从过去的 PLT-Scheme 项目中翻译过来的。

但是，递归调用有问题。我只是不知道为什么它不起作用。函数是这样的：

let rec cortar texto longitud resultado = match texto, longitud with
            |  _::t,0 -> resultado::(t::[])
            |  c::t,x-> cortar t (longitud-1) (consderecha resultado c);;

经度是定义大小的整数。恐怕我做错了什么，因为它似乎无限循环，因为“经度”永远不会达到 0。我（你可能猜到）是 ML 的新手，它是方言，所以任何帮助都会非常感激。

谢谢！

编辑：解决了，实际上并没有……原来我是在列表中用逗号而不是分号调用函数。是的。所以谢谢！！

Answer 1

很难回答，因为我发现代码有很多问题。

你说你的函数需要一个列表和一个大小，但你在这里定义的函数需要三个参数。看来resultado 参数是一个累积的结果。将此参数添加到您的外部函数中有点不整洁。通常，您希望将其添加到内部函数中，以便外部函数与您的描述相匹配（即，它需要两个参数）。

match 语句中的两种模式都假定texto 不为空。这意味着您的模式并非详尽无遗，即如果 texto 最初或在递归调用中为 null，则该函数将失败。

您的函数使用了一个名为consderecha 的函数，该函数未在任何地方定义。我将假设它有一个相反的缺点，即它在列表的末尾添加一个值。 （这不是处理列表的好方法。在列表末尾添加值很慢。）

但是，如果您抛开所有这些问题，我认为您的递归没有任何问题。当我在定义它的情况下尝试您的功能时，它几乎可以工作。 （它似乎缺少列表中间的一个值。）

# cortar [1;2;3;4;5] 2 [];;
- : int list list = [[1; 2]; [4; 5]]

您的函数可能没有启动，而不是没有停止。也许你忘了第三个参数？