Creazione sindacati discriminati ricorsive valori

Question

Quando ho questo codice:

type HtmlNode = 
    | HtmlElement of name:string * attribute:HtmlAttribute list 
    | HtmlText of content:string 

and HtmlAttribute = 
    | HtmlAttribute of name:string * value:string * parent:HtmlNode 

let createElement name attrs = 
    let toAttributes element = [ for name, value in attrs -> HtmlAttribute(name, value, element)] 
    let rec element = HtmlElement(name, attributes) 
    and attributes = toAttributes element 
    element 

Il compilatore dà il seguente errore:

Recursive values cannot appear directly as a construction of the type 'HtmlNode' within a recursive binding. This feature has been removed from the F# language. Consider using a record instead.

Perché? Il let rec dovrebbe supportare la creazione di valori ricorsivi e qualcosa di simile funziona con i record.

Answer 1

Non so perché questo è stato modificato, ma una soluzione alternativa è utilizzare seq anziché list.

type HtmlNode = 
    | HtmlElement of name:string * attribute:HtmlAttribute seq 
    | HtmlText of content:string 

and HtmlAttribute = 
    | HtmlAttribute of name:string * value:string * parent:HtmlNode 

let createElement name attrs = 
    let rec element = HtmlElement(name, attributes) 
    and attributes = seq { for name, value in attrs -> HtmlAttribute(name, value, element) } 
    element