今天我们学习了 SML 中的“打结”，你有这样的东西
val tempFunc = ref (fn k:int => true);
fun even x = if x = 0 then true else !tempFunc(x-1);
fun odd x = if x = 0 then false else even(x-1);
tempFunc := odd;
我正在使用 ocaml，这非常相似，但我只是在做同样的事情时遇到了麻烦。我发现最接近的是
let tempFunc {contents =x}=x;;
但我真的不明白这一点，以及如何将 tempFunc 绑定到另一个函数。任何帮助表示赞赏！
【问题讨论】：
标签： function reference ocaml sml
你的代码在 OCaml 中的直接翻译是：
let tempFunc = ref (fun k -> true)
let even x = if x = 0 then true else !tempFunc (x-1)
let odd x = if x = 0 then false else even (x-1)
let () = tempFunc := odd
执行此操作的惯用方法（在 SML 中也是如此）是使用递归函数：
let rec even x = if x = 0 then true else odd (x-1)
and odd x = if x = 0 then false else even (x-1)
【讨论】：
and 也是惯用的。这只是一个说明打结的例子。）
等效的OCaml代码是
let tempFunc = ref (fun (k: int) -> true);;
let even x = if x = 0 then true else !tempFunc (x-1);;
let odd x = if x = 0 then false else even (x-1);;
tempFunc := odd;;
正如你所说，它实际上与 SML 代码相同。
（编辑补充：实际上，Thomas 的代码更漂亮一点！）
【讨论】：
还有另一种方法可以在不使用引用的情况下获得相同的东西：
let rec even_helper f x = if x = 0 then true else f even_helper (x-1);;
let rec odd_helper f x = if x = 0 then false else f odd_helper (x-1);;
let even = even_helper odd_helper;;
let odd = odd_helper even_helper;;
请注意，这段代码涉及无保护的递归类型：助手的类型是('a -> int -> bool) -> int -> bool as 'a，这意味着助手的第一个参数是一个函数，其第一个参数是助手。 Ocaml 接受此类类型，但前提是您将 -rectypes 选项传递给编译器。
使用更多功能，您可以完全取消 rec。这不是对您的问题的直接回答，而是以一种纯粹的功能方式展示该模式的外观。
【讨论】：
-rectypes。