ocaml - 如何在 OCaml 中输入 `let rec f g = g f`？

Question

这是口译员给我的内容:

# let rec f g = g f ;;
Error: This expression has type ('a -> 'b) -> 'c
       but an expression was expected of type 'a
       The type variable 'a occurs inside ('a -> 'b) -> 'c

如果我将 -rectypes 传递给解释器，它就会起作用:

# let rec f g = g f ;;
val f : ('a -> 'b) -> 'b as 'a = <fun>

但是有没有一种方法可以在不给 ocaml 提供选项的情况下使其类型正确？

我不知道如何注释代码，因为f的类型取决于g的类型，而g的类型本身又取决于的类型f.

Answer 1

就目前情况而言，您无法对其进行类型检查，原因已由其他答案解释。

但是，您可以通过使用多态变体包装函数参数来获得近似值:

# let rec f (`F g) = g (`F f);;
val f: [< `F of [> `F of 'a ] -> 'b ] -> 'b = <fun>

应用此函数的结果取决于其参数的行为:

# f (`F (fun _ -> 13));
-: int = 13
# f (`F f);; (* infinite recursion *)
^CInterrupted