F # déclarations de type avant

Question

Je suis tombé sur ce problème en F #. Supposons, je veux déclarer deux types qui font référence à l'autre:

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

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

Comment puis-je faire, de sorte que le compilateur ne génère pas d'erreur?

Answer 1

Vous utilisez 'et':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

Je pensais que ce. Il est:

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

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

Answer 3

La limitation est que les types doivent être déclarés dans le même fichier.