Question

我正在OCaml中执行一个函数，我想计算变量n中的迭代次数。这是功能：

let mapdoble f1 f2 l = 
let rec aux n f_1 f_2 l1 l2= match(n,f_1,f_2,l1,l2) with
    (n,_,_,[],l2) -> l2
    | (n,f_1,_,h::t,l2) when n mod 2 = 0 -> aux n+1 f1 f2 t l2@[f_1 h]
    | (n,_,f_2,h::t,l2) when n mod 2 = 1 -> aux n+1 f1 f2 t l2@[f_2 h]
in
    aux 0 f1 f2 l [];;

当我编译它时，我有这个错误，我不知道它是什么：

Error: This expression has type 'a -> 'b -> 'c list -> 'd -> 'd but an expression was expected of type int

Answer 1

函数应用程序，它只是作为函数名称及其参数的并置而编写，比中缀运算符更紧密，即它具有更高的优先级。为了澄清上述说法，让我们举个例子。表达式：

aux n+1 f1 f2 t l2@[f_1 h]

实际上由编译器解析为：

(aux n) + (1 f1 f2 t l2) @ ([f_1 h])

现在，我希望，很明显，为什么你会得到如此奇怪的编译器消息。特别是，您试图将(+)运算符应用于aux n的结果，这实际上是四个参数的函数，绝对不是int。

所以正确的版本是：

aux (n + 1) f1 f2 t (l2 @ [f_1 h])

你也有一些模式匹配的问题，它不是无可辩驳的，但它超出了问题的范围。

OCaml中递归函数的问题

1 个答案: