Açık kayıt modelinin anlamı nedir?

Question

OCaml, "açık" ve "kapalı" kayıt kalıpları arasında ayrım yapmak için açık bir sözdizimsel yapıya (Bkz. Parsetree.pattern_desc, constructor Ppat_record) sahiptir.

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> 

Yani amacı/neydi edilir:

Bu desen eşleştirme üzerinde hiçbir etkiye sahip görünüyor? Bu bir tür SML kalıntısı mı?

Answer 1

Sadece bir alanı unuttuğunuzda uyarı alabilmeniz için derleyiciye bazı alanları yok saydığınızı bildiren bir dil uzantısıdır.

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