私の相互再帰タイプを整理します

Question

相互の再帰タイプを持つことは可能ですか（[<Struct>]）異なるファイルに広がっていますか？タイプは名前空間の直接の下にあります。

私の解決策は、それらを1つの大きなファイルに入れて使用することです type ... and ... and ... etc 工事。それは唯一の方法ですか？

Answer 1

再帰結び目をUntying The Recursive結び目と呼ばれる手法を使用できます。

したがって、この：

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

なる：

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