Le unioni discriminate possono riferirsi a vicenda?

Question

Sto costruendo un albero di espressioni usando le unioni discriminate. Il seguente codice:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

genera un errore perché BoolExpression non è definito. Scambiando le definizioni si ottengono solo risultati inversi (IntExpression non è definita) come ci si aspetterebbe.

C'è un modo per aggirare questo?

Answer 1

Sì, usa and al gruppo definizioni del tipo con interdipendenze:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Forse questo funzionerà:

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

(Informazioni tratte da this page on MSDN.)

Answer 3

"e" funziona generalmente per i tipi con dipendenze reciproche. Cioè, funziona per tutti i tipi, come le unioni discriminate, come mostrato da Mau, classi, record e funzioni reciprocamente ricorsive.

non esempio di terminazione:

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