Was bedeutet das offene Aufzeichnungsmuster?

Question

OCaml hat ein explizites syntaktisches Konstrukt (siehe Parsetree.pattern_desc, constructor Ppat_record), um zwischen "offenen" und "geschlossenen" Aufzeichnungsmustern zu unterscheiden.

Dies scheint keinerlei Einfluss auf die Musteranpassung zu haben:

utop # type r = {repr:int; foo:int} ;; 
type r = { repr : int; foo : int; } 
utop # let f = function {repr} -> repr;; 
val f : r -> int = <fun> 
utop # let g = function {repr;_} -> repr;; 
val g : r -> int = <fun> 

Was ist/war ihr Zweck? Ist das eine Art SML-Relikt?

Answer 1

Es ist nur eine Spracherweiterung, um dem Compiler mitzuteilen, dass Sie einige Felder absichtlich ignoriert haben, damit Sie eine Warnung erhalten, wenn Sie ein Feld vergessen.

http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec226