组织我的相互递归类型

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