オープンレコードパターンの意味は？

Question

OCamlには、「開」と「閉」のレコードパターンを区別するための明示的な構文構造（Parsetree.pattern_desc, constructor Ppat_recordを参照）があります。

これは、パターンマッチングには何ら影響を与えないように見える：

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> 

だから、/その目的は何だったのか？これは何らかのSML遺物ですか？

Answer 1

フィールドを忘れたときに警告を表示できるように、いくつかのフィールドを意図的に無視したことをコンパイラに伝えるだけの言語拡張です。

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