F# Declarações do tipo para a frente

Question

Eu tropecei nesse problema em f#. Suponha que eu queira declarar dois tipos que se referem:

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

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

Como faço isso, então o compilador não gera um erro?

Answer 1

Você usa 'e':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

Eu imaginei isso. Seu:

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

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

Answer 3

A limitação é que os tipos precisam ser declarados no mesmo arquivo.