OCaml: độ tròn giữa loại biến thể và định nghĩa mô-đun

Question

Tôi đang chuyển từ Haskell sang OCaml nhưng tôi đang gặp một số sự cố. Ví dụ, tôi cần định nghĩa kiểu cho các biểu thức chính quy. Tôi làm như vậy với:

type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) ;; 

Các yếu tố bên trong Hoặc nằm trong một nhóm (RegExpSet), vì vậy tôi xác định nó bên cạnh (và cũng là một chức năng bản đồ):

module RegExpOrder : Set.OrderedType = 
    struct 
     let compare = Pervasives.compare 
     type t = re 
    end 
module RegExpSet = Set.Make(RegExpOrder)  
module RegExpMap = Map.Make(RegExpOrder) 

Tuy nhiên, khi tôi làm "ocaml [name of file]" Tôi nhận được:

Error: Unbound module RegExpSet 

trong dòng "Hoặc" trong định nghĩa "re".

Nếu tôi trao đổi những định nghĩa này, có nghĩa là, nếu tôi viết các định nghĩa module trước khi định nghĩa kiểu tái Tôi rõ ràng là nhận được:

Error: Unbound type constructor re 

trong dòng "type = t lại".

Tôi làm cách nào để giải quyết vấn đề này? Cảm ơn!

Answer 1

Bạn có thể thử sử dụng recursive modules. Ví dụ: các biên dịch sau:

module rec M : 
sig type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) 
end = 
struct 
    type re = EmptySet 
    | EmptyWord 
    | Symb of char 
    | Star of re 
    | Conc of re list 
    | Or of (RegExpSet.t * bool) ;; 
end 

and RegExpOrder : Set.OrderedType = 
    struct 
     let compare = Pervasives.compare 
     type t = M.re 
    end 
and RegExpSet : (Set.S with type elt = M.re) = Set.Make(RegExpOrder)