recursive-type

    6

    2答えて

    これは純粋に学問的な質問ですが、タイプ制約についてはthis question のようになります。質問者はこれを例として与えました: type Something<'a, 'b when 'b :> seq<'b>>() = member __.x = 42 f#がうれしくコンパイルされます。今問題はどうやってこのオブジェクトを作るのですか?ここで let z = new Somet