Impossibile rendere l'oggetto con un vincolo di tipo ricorsivo?

Question

Questa è una domanda puramente accademica, ma riffing di this question sui vincoli di tipo. L'intervistatore ha fornito questo esempio:

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

che f # compila felicemente. Ora il problema è come si costruisce questo oggetto ??

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

Answer 1

Ecco un modo:

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 

Invece di restituire la sequenza vuota, è possibile implementare questa classe per restituire una sequenza di nodi figlio. Ho chiamato questo tipo Node<'a>, perché è un modo abbastanza idiomatico di modellare un albero (o un grafico) in C#.

Usa:

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