Organizar mis tipos recursivos mutuos

Question

¿Es posible tener tipos recursivos mutuos ([<Struct>]) repartidos en diferentes archivos? Los tipos son directamente debajo de un espacio de nombres.

Mi solución es ponerlos en un archivo y el uso de la obra grande type ... and ... and ... etc. Es la única manera?

Answer 1

Se puede usar una técnica llamada recursiva desatar el nudo donde se parametriza una sobre la otra.

Así que esto:

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

se convierte en:

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