Yinelemeli bir tür kısıtlaması ile nesne yapmak imkansız mı?

Question

Bu, yalnızca akademik bir sorudur, ancak tür kısıtlamaları hakkında this question kodunun silinmesini sağlar. Bu kişi, örnek olarak aşağıdakileri verdi:

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

hangi f # mutlu bir şekilde derler. Şimdi sorun bu nesneyi nasıl yapıyorsun?

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 

yerine boş diziyi döndürmek, alt düğümler bir dizi döndürmek için bu sınıf uygulamak olabilir

:

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

Answer 1

İşte bir yoludur. Bu tip Node<'a>'u aradım çünkü C# içindeki bir ağacı (veya grafiği) modellemek için oldukça deyimsel bir yol.

Kullanım:

> 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>()