ocaml - 如何使用 ocaml 中的 Y 组合器调用具有多个参数的函数？

Question

我试图理解 OCaml 中的 Y 组合子。我从这里拿了一些代码，并试图用它来编写 Ackermann 函数。在链接中的示例中，函数只需要一个参数。Ackermann 函数需要两个参数，因此我一直遇到语法错误。我到目前为止的代码是

type 'a mu = Roll of ('a mu -> 'a);;

let unroll (Roll x) = x;;

let fix f = (fun x a -> f (unroll x x) a) (Roll (fun x a -> f (unroll x x) a));;

let acker f = function
  0, n -> n + 1
| m, 0 -> f (m-1) 1
| m, n -> f (m-1) (f m (n-1))
;;

print_int (fix (acker 2 2));;

我需要做什么才能让它工作？谢谢。

Answer 1

您将 curried 与 uncurried 函数定义混合在一起。

这是一个一贯的非咖喱形式的acker：

let acker f = function
  0, n -> n + 1
| m, 0 -> f (m - 1, 1)
| m, n -> f (m - 1, f (m, n - 1));;

这是一个电话：

# fix acker (2, 2);;
- : int = 7
#