如何在ocaml中定义相互递归类和异常

Question

我想定义一个类foo和一个异常X，其构造函数以一对foo作为参数。类foo的方法应该能够引发异常X ......我无法设法使这些语法正确。任何人都可以请建议如何做到这一点？

Answer 1

这是一个集思广益的建议。由于OCaml对类使用结构化类型，因此可以在定义异常之前将类声明为类型。这里有一个适用于我的草图：

class type c = object method m : unit end 

exception E of c * c 

class myclass = 
    object (self) 
    method m : unit = raise (E ((self :> c), (self :> c))) 
    end 

这当然有点麻烦。