syntax - Declaraciones de tipo de envío F#

recursion types

Question

Me encontré con este problema en F #. Supongamos que quiero declarar dos tipos que se refieran entre sí:

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

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

¿Cómo hago eso para que el compilador no genere un error?

Answer 1

La limitación es que los tipos deben declararse en el mismo archivo.

Answer 2

Me lo imaginaba. Sus:

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

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

Answer 3

Usas ''y'':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType