Variant Typen als Modul/Funktor Signatur Einschränkungen in ocaml

Question

Ich versuche, Module/Funktoren zu verwenden, um eine allgemeinere Code-Design zu haben. Zur Vereinfachung habe ich zwei Schnittstellen:

module type T1 = sig type t end;; 
module type T2 = sig type t end;; 

und ich möchte so instanziiert T2.t mit einer Variante Typ basierend auf T1.t.

(* simple example, this one is accepted *) 
module OK (T: T1) : (T2 with type t = T.t) = struct type t = T.t end;; 
(* using a variant type, this one is rejected *) 
module KO (T: T1) : (T2 with type t = X | Y of T.t) = struct 
    type t = X | Y of T.t 
end 

Im letzteren, erhalte ich folgende Fehler:

Unbound module X 
Syntax error inside `module' after unclosed (, expected `.' 

Allerdings, wenn ich polymorphe Varianten verwenden, so scheint es, in Kauf genommen werden:

module OK2 (T: T1) : (T2 with type t = [ `X | `Y of T.t]) = struct 
    type t = [ `X | `Y of T.t ] 
end 

aber ich nicht eindeutig verstehen warum. Was ist der richtige Weg, um solche Einschränkungen mit Varianten zu verwenden?

PS: beachten Sie, dass auch dieser

abgelehnt wird

module OK2 (T: T1) : (T2 with type t = [ `X | `Y of T.t]) = struct 
    type t = X | Y of T.t 
end 

Answer 1

Bei Modul Einschränkung with type t = ..., können Sie nicht Typdefinitionen schreiben, aber Ausdrücke eingeben.

X | Y of T.t ist ein rhs einer Variant Typdefinition, daher wird es als Syntaxfehler abgelehnt. Auf der anderen Seite ist [ `X | `Y of T.t] ein Typausdruck.

Wenn Sie sich über den Unterschied zwischen den normalen Varianten und den polymorphen Varianten nicht sicher sind, überprüfen Sie bitte die OCaml-Bücher oder das Referenzhandbuch.

Was Sie schreiben wollen

module type T3 = sig 
    type t' 
    type t = X | Y of t' 
end 

module KOX (T: T1) : (T3 with type t' := T.t) = struct 
    type t = X | Y of T.t 
end