¿Las uniones discriminadas se refieren entre sí?

Question

Estoy construyendo un árbol de expresiones usando uniones discriminadas. El siguiente código:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

arroja un error porque BoolExpression no está definido. Al intercambiar las definiciones solo se obtiene el resultado inverso (IntExpression no está definido) como era de esperar.

¿Hay alguna forma de evitar esto?

Answer 1

Sí, utilice and al grupo de definiciones de tipos con interdependencias:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Tal vez esto funcionará:

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

(Información tomada de this page on MSDN.)

Answer 3

"y" funciona generalmente para tipos con dependencias mutuas. Es decir, funciona para todos los tipos, como las uniones discriminadas, como se muestra en Mau, las clases, los registros y las funciones mutuamente recursivas.

ejemplo no terminación:

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