Organisieren Sie meine gegenseitigen rekursiven Typen

Ist es möglich, gegenseitige rekursive Typen ([<Struct>]) über verschiedene Dateien verteilt zu haben? Die Typen befinden sich direkt unter einem Namespace.Organisieren Sie meine gegenseitigen rekursiven Typen

Meine Lösung ist, sie in eine große Datei zu legen und type ... and ... and ... etc Konstruktion zu verwenden. Ist es der einzige Weg?

Quelle

2010-11-29 Stringer

Sie können eine Technik verwenden, die das Lösen des rekursiven Knotens, bei dem Sie eine über die andere parametrisieren, genannt wird.

So folgt aus:

type a = B of b 
and b = A of a

wird:

type 'b a = B of 'b 
type b = A of b a

Quelle

2010-11-29 22:28:43

Danke für die Antwort. Wird diese Art von Technik oft verwendet? Ich finde, dass F # Design-Richtlinien empfehlen, alles in eine große Datei zu stellen, oder? – Stringer

Ich benutze es sicherlich oft und empfehle unseren Kunden, dass sie es oft verwenden, aber, ja, es scheint, unterschätzt zu werden. –

'Lösen des rekursiven Knotens 'ist sehr nützlich, wenn Sie versuchen, Funktionen zu memoisieren. Es wurde beschrieben in der * Wenn wir Ersatz brauchen * von http://typeocaml.com/2015/01/20/mutable/ –

Organisieren Sie meine gegenseitigen rekursiven Typen

Antwort

Verwandte Themen