Me encontré con este problema en F #. Supongamos, quiero declarar dos tipos que hacen referencia entre sí:F # forward type declarations
type firstType =
| T1 of secondType
//................
type secondType =
| T1 of firstType
//................
¿Cómo hacer eso, por lo que el compilador no genera un error?
Se utiliza 'y':
type firstType =
| T1 of secondType
and secondType =
| T1 of firstType
Cada vez que siento que algo no es elegante en F #, estoy gratamente sorprendido, hay una solución elegante. – CodeMonkey
pensé que. Es:
type firstType =
| T1 of secondType
//................
and secondType =
| T1 of firstType
//................
también usa la misma notación para funciones recursivas recíprocas, en caso de que no lo supiera. – Massif
La limitación es que los tipos deben declararse en el mismo archivo.
Vea también http://stackoverflow.com/questions/680606/f-how-to-have-two-methods-calling-eachother – Brian