0
Ich weiß, dass diskriminierte Gewerkschaften auf sich selbst verweisen können, z.Verwendung von früheren Fällen in der Fall-Signatur
type Tree=
| Node of Tree
| Leaf
Aber gibt es irgendwelche Mittel, um auf andere Fälle in den Typ-Signaturen zu verweisen? Die beiden folgenden Fehler machen, dass „Der Typ‚Jahr‘ist nicht definiert“ & „Der Typ‚Monat‘ist nicht definiert“
type Period =
| Year of int
| Month of Year * int
| Day of Month * int
type Period' =
| Year of int
| Month of Period'.Year * int
| Day of Period'.Month * int
Gibt es irgendeine Form von Anmerkung oder ein Stichwort I muss man noch (analog rec) auf eine solche Nutzung stoßen?
Union Fälle sind keine Subtypen. Sie können einen bestimmten Fall eines Union-Typs nicht als Typ an sich verwenden. – TeaDrivenDev
Ich habe bearbeitet, um es klarer zu machen, dass die beiden Typen (Periode & Periode ') sich nicht auf einander beziehen, sondern auf ihre eigenen Fälle. –