Organiser mes types récursifs mutuelles

Question

Est-il possible d'avoir des types récursifs mutuels ([<Struct>]) répartis sur différents fichiers? Les types sont directement sous un espace de noms.

Ma solution est de les mettre dans un grand fichier et l'utilisation de la construction type ... and ... and ... etc. Est-ce la seule façon?

Answer 1

Vous pouvez utiliser une technique appelée déliement le nœud récursif où vous paramétrez un sur l'autre.

Alors ceci:

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

devient:

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