Können diskriminierte Gewerkschaften sich aufeinander beziehen?

Question

Ich baue einen Ausdruck Baum mit diskriminierten Gewerkschaften. Der folgende Code:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

gibt einen Fehler aus, weil BoolExpression nicht definiert ist. Wenn Sie die Definitionen austauschen, führt dies wie erwartet zu einem umgekehrten Ergebnis (IntExpression ist nicht definiert).

Gibt es einen Weg um dies?

Answer 1

Ja, Typdefinitionen mit gegenseitigen Abhängigkeiten and zur Gruppe verwenden:

type IntExpression = 
    | TrueIsOne of BoolExpression 

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

Answer 2

Vielleicht wird diese Arbeit:

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

(Informationen vom this page on MSDN entnommen.)

Answer 3

"und" funktioniert in der Regel für Typen mit gegenseitigen Abhängigkeiten. Das heißt, es funktioniert für alle Typen, wie diskriminierte Vereinigungen, wie durch Mau, Klassen, Aufzeichnungen und gegenseitig rekursive Funktionen gezeigt.

Nicht beendet Beispiel:

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