destructuringを許可しながら不変条件を保存する

Question

すべての構造が不変条件を保持できるが、パターンマッチングのために構造を破壊することができるモジュールメンバーを通過するように型を定義します。

私はOCamlのを勉強していますが、次はほとんど左は、このように

# let p = Range.make 1 2;; 
val p : Range.t = {Range.left = 1; Range.right = 2} 
# let q = Range.make 2 1;; 
Exception: Range.InvalidRange (2, 1). 

を働く権利

module Range : sig 
    type t = private { left:int; right:int } 
    exception InvalidRange of (int*int) 
    val make : int -> int -> t 
end = struct 
    type t = { left:int; right:int } 
    exception InvalidRange of (int*int) 
    let make left right = if left < right 
    then { left; right } 
    else raise (InvalidRange (left, right)) 
end 

より厳密に小さくなければならないという不変でint型のペアのために働くとファッションの後に破局が働く

# let {Range.left=x; Range.right=y} = p;; 
val x : int = 1 
val y : int = 2 

建設中に失敗する

# let badp = {Range.left = 2; Range.right = 1};; 
    let badp = {Range.left = 2; Range.right = 1};; 
Error: Cannot create values of the private type Range.t 
# open Range;; 
# let badp = {left = 2; right=1};; 
    let badp = {left = 2; right=1};; 
Error: Cannot create values of the private type Range.t 

しかし、私が実際にやってみたいのは、タプルを破壊するという構文上の便利さです。

module Range : sig 
    type t = private int*int 
    exception InvalidRange of (int*int) 
    val make : int -> int -> t 
end = struct 
    type t = int*int 
    exception InvalidRange of (int*int) 
    let make left right = if left < right 
    then (left, right) 
    else raise (InvalidRange (left, right)) 
end 

をその後私はタプルパターンを使用して、それをdestructureすることはできません： 以下は動作しません

# let r = Range.make 1 2 ;; 
val r : Range.t = (1, 2) 
# let (a, b) = r;; 
    let (a, b) = r;; 
Error: This expression has type Range.t 
     but an expression was expected of type 'a * 'b 

私はtype t = R of (int * int)に種類を変えることができるが、私は軽するこれらを必要とします可能な限りメモリに重みを付けます。何か案は？

Answer 1

としてはmanualに説明し、明示的な強制を必要とする：

# let (a, b) = (r :> int*int);; 
val a : int = 1 
val b : int = 2 

Answer 2

私はちょうどObjsize（レポートOCamlの値の大きさ）で、このテストを実行しました。あなたは（私は）これらの値を信じるなら

# type fancy = R of int * int;; 
type fancy = R of int * int 
# Objsize.objsize (R (3, 5));; 
- : Objsize.info = {Objsize.data = 2; Objsize.headers = 1; Objsize.depth = 0} 
# Objsize.objsize (3,5);; 
- : Objsize.info = {Objsize.data = 2; Objsize.headers = 1; Objsize.depth = 0} 

、あなた自身のシングルのコンストラクタタイプの代わりにタプルを使用するための何のサイズペナルティはありません。

Answer 3

これを行う簡単な方法は、to_tuple機能を追加してツアータイプを抽象化することです。

module Range : sig 
    type t 
    exception InvalidRange of (int*int) 
    val make : int -> int -> t 
    val to_tuple : t -> (int * int) 
end = struct 
    type t = { left:int; right:int } 
    exception InvalidRange of (int*int) 

    let make left right = if left < right 
    then { left; right } 
    else raise (InvalidRange (left, right)) 

    let to_tuple t = t.left, t.right 

end 

、あなたは

let (a, b) = to_tuple range 

Answer 4

を行うことができますtype t = R of (int * int)のソリューションは、メモリの面で軽量になり、構文的に強制ソリューションよりも少し軽量です。 OCamlは、単一のコンストラクタデータ型の大文字小文字を最適化します。したがって、それを支払う必要はありません。 （私はこの主張の正式な参照はないが、Adam Chlipala（OCamlの専門家）はここにそれを言及している：http://adam.chlipala.net/cpdt/html/Subset.html）。

Answer 5

実際、OCamlランタイムエンコードは非常に簡単です。 便利なツールがあります https://github.com/bobzhang/caml-inspect