Ocaml - 前向声明(类)

Question

我需要有两个类相互引用。 Ocaml 中是否有任何方法可以对其中之一进行前向声明？

(我不认为用词 and 更简单的东西是可能的)。

或者也许这是可能的，但与我尝试的方式不同？

Answer 1

Ocaml 没有任何类似于前向声明的东西(即最终会定义某些东西的 promise )，但它具有递归定义(即声明的事物 block ，然后立即根据彼此定义)。表达式、类型、类和模块(以及更多)之间可以进行递归定义；相互递归模块允许递归定义混合对象集。

您可以使用关键字 and 的递归定义来解决您的问题。 :

class foo(x : bar) = object
  method f () = x#h ()
  method g () = 0
end

and bar(x : foo) = object
  method h () = x#g()
end