Как ввести `let rec f g = g f` в OCaml?

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, который сам по себе зависит от типа 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 

Answer 2

Невозможно обойти это без использования -rectypes.