Erstellen von rekursiven diskriminiert Gewerkschaften Werte

Question

Wenn ich diesen Code haben:

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 

Der Compiler gibt den folgenden Fehler:

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.

Warum ist das so? Der Buchstabe rec soll die Erstellung von rekursiven Werten unterstützen, und etwas Ähnliches funktioniert mit Datensätzen.

Answer 1

Ich weiß nicht, warum dies geändert wurde, aber eine Problemumgehung besteht darin, seq anstelle von list zu verwenden.

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