F # Vorwärts-Typdeklarationen

Question

stolperte ich über dieses Problem in F #. Nehmen wir an, ich möchte zwei Arten erklären, die sich gegenseitig referenzieren:

type firstType = 
     | T1 of secondType
     //................

type secondType =
     | T1 of firstType  
     //................    

Wie kann ich tun, damit der Compiler erzeugt nicht einen Fehler entdeckt?

Answer 1

Sie verwenden 'und':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

habe ich es. Es ist:

type firstType = 
     | T1 of secondType
     //................

and secondType =
     | T1 of firstType  
     //................   

Answer 3

Die Einschränkung ist, dass die Typen in der gleichen Datei zu erklären haben.