F# Vorwärts-Typ-Deklarationen

Question

Ich bin über dieses Problem in F# gestolpert. Angenommen, ich möchte zwei Typen deklarieren, die sich gegenseitig referenzieren:

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

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

Wie kann ich das tun, damit der Compiler keinen Fehler erzeugt?

Answer 1

Sie verwenden 'und':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

Ich habe es mir gedacht. Es ist:

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

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

Answer 3

Die Einschränkung ist, dass die Typen in derselben Datei deklariert werden müssen.