Les syndicats discriminés peuvent-ils se référer les uns aux autres?

Question

Je construis un arbre d'expression en utilisant des unions discriminées. Le code ci-dessous:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

génère une erreur car BoolExpression n'est pas défini. L'échange des définitions aboutit à l'inverse (IntExpression n'est pas défini) comme vous pouvez vous y attendre.

Y a-t-il un moyen de contourner cela?

Answer 1

Oui, utiliser and aux définitions de type groupe avec inter-dépendances:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Peut-être que ceci fonctionne:

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

(Informations prises de this page on MSDN.)

Answer 3

"et" fonctionne généralement pour les types avec des dépendances mutuelles. C'est-à-dire qu'il fonctionne pour tous les types, tels que les unions discriminées, comme le montre Mau, les classes, les enregistrements et les fonctions mutuellement récursives.

non terminaison exemple:

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