Организовать мои взаимные рекурсивные типы

Question

Можно ли иметь взаимные рекурсивные типы ([<Struct>]) распространяться по разным файлам? Типы непосредственно под пространством имен.

Мое решение - поместить их в один большой файл и использовать type ... and ... and ... etc строительство. Это единственный способ?

Answer 1

Вы можете использовать методику, называемую развязой рекурсивный узел, где вы параметризуете один над другим.

Так что это:

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

становится:

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