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 上的此页面。）