Czy dyskryminowane związki odnoszą się do siebie nawzajem?

Question

Buduję drzewo ekspresji używając dyskryminowanych związków. Poniższy kod:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Zgłasza błąd, ponieważ BoolExpression nie jest zdefiniowany. Zamiana definicji powoduje tylko odwrotny (IntExpression nie jest zdefiniowany), jak można się spodziewać.

Czy istnieje sposób obejścia tego?

Answer 1

Tak, użyj and do grupy definicji typu z wzajemnych zależności:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Może to będzie działać:

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

(Informacje zaczerpnięte z this page on MSDN.)

Answer 3

"i" działa ogólnie dla typów z wzajemnymi zależnościami. Oznacza to, że działa on dla wszystkich typów, takich jak dyskryminowane związki, jak pokazuje Mau, klasy, rekordy i funkcje rekurencyjne.

dla zakończenia przykład:

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