Rekursion & Unveränderlichkeit in F #

Question

Betrachten Sie das folgende einfache Beispiel:

type Parent = { Children : Child list } 
and Child = { Value : int ; Parent : Parent } 

let rec children = [ { Value = 0 ; Parent = parent } ] 
and parent = { Children = children } 

Der F # -Compiler intelligent genug ist richtig, diese rekursive Objekte zu initialisieren, wie

obj.ReferenceEquals(parent, parent.Children.Head.Parent) 

Jetzt läuft überprüft werden kann, prüfen die folgende Verallgemeinerung:

let length = 100 // assume arbitrary 

let rec children = List.init length (fun i -> { Value = i ; Parent = parent }) 
and parent = { Children = children } 

Diese Definition führt zu einem Compilerfehler oder. Meine Frage ist die folgende: Gibt es eine Möglichkeit, wie ich die obige Bindung machen könnte ohne Rückgriff auf Reflexion oder veränderbare Felder?

Answer 1

let rec mkChild i = {Value = i; Parent = parent} 
and parent = { Children = children } 
and children = List.init length mkChild 

Answer 2

Ich kann nicht für F# zu beantworten, aber ich bin sicher, dass es keine Möglichkeit, dass in OCaml zu tun ist, die zu F # sehr nahe ist. Dies ist das gleiche wie eine kreisförmige Liste definieren:

let rec a = 1 :: 2 :: a; 

Bei der rekursiven Objektdefinition, dann können Sie nicht Funktionsaufruf entlang des rekursiven Zyklus haben, weil es bedeutet, eine Funktion auf einem Objekt aufgerufen wird, das noch nicht ist vollständig konstruiert.

Genauer gesagt in Ihrem Beispiel, versuchen Sie (fun i -> { Value = i ; Parent = parent }) zu List.init einen Verschluss passieren, aber diese Schließung definiert werden kann nicht, da parent noch nicht vollständig definiert.