여러 펑터 내에서 재귀 실현

Question

모듈 유형 PROP과 일치하는 EEA을 비롯한 여러 모듈을 만들었습니다. 지금은 다음과 같은 2 펑터를 구축하고 싶습니다 : 재귀가 있기 때문에

(* modules.ml *) 
open EEA 
open Zone 
open Zones 
module ZoneEEA = ZoneFun(EEA) 
module ZonesEEA = ZonesFun(ZoneEEA) 

그러나, 코드가 작동하지 않습니다

(* zone.ml *) 
module type ZONE = 
sig 
    ... 
end 
module ZoneFun (Prop : PROP) = struct 
    type t = 
    { i: int; 
     pal: ZonesEEA.t } 
    ... 
end 

(* zones.ml *) 
module ZonesFun (Zone: ZONE) = struct 
    type t = Zone.t list 
    ... 
end 

는 따라서 펑 날 모듈을 구축 할 수 있도록 할 : ZoneFun ... 따라서 ZoneFun, ZoneEEA에서 제공하는 ZonesEEA.t 필요

사람이 재귀를 실현하기 위해 코드를 재구성 할 생각이 있습니까?

Answer 1

모듈간에 재귀가 필요합니다. 이것은 원형 의존성을 만들어 내며 OCaml에서 그렇게 할 수 없습니다. 그러나 에 pal 유형을 추상화 할 수 있다면이 트릭을 수행 할 수 있습니다. 나는 하나의 매개 변수를 ZoneFun 펑터에 추가하고 있습니다.이 펑터의 타입은 pal입니다. 나는이 파라미터를 Z이라고 부르고 나중에 ZonesEEA으로 인스턴스화 될 것이므로 ZONES 타입을 제공 할 것입니다.

(* zone.ml *) 
module type ZONES = sig 
    type t 
    ... 
end 

module ZoneFun (Prop : PROP) (Z : ZONES) = struct 
    type t = 
    { i: int; 
     pal: Z.t } 
    ... 
end 

그런 다음, ZoneEEA 및 ZonesEEA 상호 재귀 모듈 될 것입니다 :

(* modules.ml *) 
open EEA 
open Zone 
open Zones 

module rec ZoneEEA : ZONE = ZoneFun(EEA)(ZonesEEA) 
and ZonesEEA : ZONES = ZonesFun(ZoneEEA)