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