f# - 相互再帰型を整理する

Question

相互再帰型（[<Struct>]）を異なるファイルに分散させることは可能ですか？タイプは名前空間の直下にあります。

私の解決策は、それらを1つの大きなファイルに入れて、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