Organizzare i miei tipi ricorsivi reciproci

Question

E 'possibile avere tipi ricorsivi comuni di investimento ([<Struct>]) sparsi in file diversi? Le tipologie sono direttamente sotto un namespace.

La mia soluzione è quella di metterli in un unico grande file e l'uso di costruzione type ... and ... and ... etc. E 'l'unico modo?

Answer 1

È possibile utilizzare una tecnica chiamata sciogliere il nodo ricorsivo in cui si parametrizza uno sopra l'altro.

Quindi questo:

type a = B of b
and b = A of a

diventa:

type 'b a = B of 'b
type b = A of b a