再帰型制約を持つオブジェクトを作成することはできませんか？

Question

これは純粋に学問的な質問ですが、タイプ制約についてはthis question のようになります。質問者はこれを例として与えました：

type Something<'a, 'b when 'b :> seq<'b>>() = 
    member __.x = 42 

f＃がうれしくコンパイルされます。今問題はどうやってこのオブジェクトを作るのですか？ここで

let z = new Something<???, ???>() 

Answer 1

が一つの方法です：代わりに空のシーケンスを返す

open System.Collections.Generic 

type Node<'a>() = 
    let getEmptyEnumerator() = Seq.empty<Node<'a>>.GetEnumerator() 
    interface IEnumerable<Node<'a>> with 
     member this.GetEnumerator() = getEmptyEnumerator() 
     member this.GetEnumerator() = 
      getEmptyEnumerator() :> System.Collections.IEnumerator 

、あなたは子ノードのシーケンスを戻すには、このクラスを実装することができます。このタイプはNode<'a>と呼ばれています。なぜなら、C＃でツリー（またはグラフ）をモデル化するのはかなり慣用的な方法なのでです。

用途：

> let smth = Something<string, Node<int>>();;  
val smth : Something<string,Node<int>> 

> smth.x;; 
val it : int = 42 

Answer 2

type T() = 
    interface seq<T> with 
     member this.GetEnumerator() = ([] :> seq<T>).GetEnumerator() 
     member this.GetEnumerator() = ([] :> seq<T>).GetEnumerator() :> System.Collections.IEnumerator 

let z = new Something<string, T>()