Organisieren Sie meine gegenseitigen rekursive Typen

Question

Ist es möglich, die gegenseitigen rekursive Typen ([<Struct>]) verteilt auf verschiedene Dateien zu haben? Die Typen sind direkt unter einem Namensraum.

Meine Lösung ist, sie in einer großen Datei und die Nutzung type ... and ... and ... etc Konstruktion zu setzen. Ist es der einzige Weg?

Answer 1

Sie können eine Technik verwenden, genannt der rekursiven Knoten zu lösen, wo Sie einen über den anderen parametrieren.

So folgt:

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

wird:

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