クラスを使用しない制限された型の表現

Question

F＃では、クラスを定義せずに制限付きの型を表すことはできますか？ 最初の分割数を2番目の分割数のすべての対として表現したいとします。私は何ができるC＃で

：

class PairDivides 
{ 
    int a {get;private set;} 
    int b {get;private set;} 

    PairDivides(int first, int second) 
    { 
     if (a % b != 0) 
     { 
      throw new Exception(); 
     } 

     this.a = first; 
     this.b = second; 
    } 
} 

は、今ではbがaを分割しないPairDividesインスタンスを作成することは不可能です...これだけの機能構築物を用いてF＃で

を行うことができます（記録、差別化された組合、おそらくアクティブなパターンなど）？

私は、これらのペアが正しく構築されていることを確認して、何かを受信したいと思っています。

Answer 1

これを行うには、タイプをprivateにします。ペアを作成する機能を提供することにより

module Pairs = 
    type PairDivides = private { a: int; b: int } 

    let createPairDivides a b = 
     match a % b with 
     | 0 -> Some { PairDivides.a = a ; b = b } 
     | _ -> None 

    let print div = 
     printfn "{%d %d}" div.a div.b 

    let tryPrint div = 
     match div with 
     | Some a -> print a 
     | None -> printfn "None" 

let a = Pairs.createPairDivides 2 2 

let b = a.Value 

// This is inaccessible: b.a 

Pairs.createPairDivides 2 2 |> Pairs.tryPrint 
Pairs.createPairDivides 2 3 |> Pairs.tryPrint 

、および必要に応じて使用するか、またはそれから抽出する機能を、あなたは完全に作成する機能を排除：唯一の欠点は、あなたがデータにアクセスするための機能を提供する必要があるということです無効なペア（悪いペアの代わりにNoneを返す）例外を使用しない。

不利な点は、現在のモジュールの外部で使用するとタイプにアクセスできないため、ペアから値を抽出するメカニズムを提供する必要があることです。

言われていることは、クラスを介してこれを行うことにも問題はありません。ご希望の場合は、クラスを作成を通じて執行の同じレベルを得ることができますタイプPairDivides = {：：

type PairDivides private (a,b) = 
    member __.A = a 
    member __.B = b 

    static member Create a b = 
     match a % b with 
     | 0 -> Some(PairDivides(a,b)) 
     | _ -> None 


PairDivides.Create 2 2 |> printfn "%A" 
PairDivides.Create 2 3 |> printfn "%A"