f# - 識別された共用体は相互に参照できますか？

Question

識別された共用体を使用して式ツリーを構築しています。以下のコード：

type IntExpression =
    | TrueIsOne of BoolExpression

type BoolExpression =
    | LessThan of IntExpression * IntExpression
    | And of BoolExpression * BoolExpression
    | Or of BoolExpression * BoolExpression
    | Bool of bool

BoolExpressionが定義されていないため、エラーがスローされます。定義を入れ替えると、予想どおりに逆になります（IntExpressionは定義されていません）。

これを回避する方法はありますか？

Answer 1

はい、and相互依存関係を持つタイプ定義をグループ化するために使用します。

type IntExpression =
    | TrueIsOne of BoolExpression

and BoolExpression =
    | LessThan of IntExpression * IntExpression
    | And of BoolExpression * BoolExpression
    | Or of BoolExpression * BoolExpression
    | Bool of bool

Answer 2

「and」は通常、相互に依存するタイプに対して機能します。つまり、Mau、クラス、レコード、および相互再帰関数で示されるように、識別された共用体など、すべてのタイプで機能します。

終了しない例：

let rec foo x = bar x
and bar x = foo x

Answer 3

おそらくこれはうまくいくでしょう：

type IntExpression =
  ...
and BoolExpression = 
  ...

（MSDNのこのページから取得した情報。）