discriminated-union

Discriminated Union oder Disjoint Union ist eine Datenstruktur, die einen Wert enthält, der mehrere verschiedene, aber feste Typen annehmen kann. Sie werden auch als "Sum-Typen" in der Typentheorie bezeichnet.
5
Antworten

Ist es möglich diskriminierte Union-Tags als Argumente zu übergeben?

Ist es möglich, den Typ eines diskriminierten Union-Tags an eine andere Funktion zu übergeben, damit sie für die Mustererkennung verwendet werden kann? Nicht funktionierendes Beispiel dessen, was ich meine: %Vor%     
26.03.2014, 09:45
2
Antworten

Diskriminierte Gewerkschaftsmitgliedsmethoden

Ich möchte eine Methode definieren, die von allen Mitgliedern einer diskriminierten Gewerkschaft geteilt wird. Momentan habe ich es so implementiert, aber es scheint wirklich unelegant - sicherlich gibt es einen besseren Weg. Vorschläge? %Vor%...
25.11.2014, 20:27
3
Antworten

Typerweiterung für diskriminierte Union in F #

Ich habe die folgende diskriminierte Verbindung definiert: %Vor% Dann habe ich eine hübsche Druckfunktion wie folgt erstellt: %Vor% Nun möchte ich, dass mein Expr -Typ diese Funktion für die Methode ToString() verwendet. Zum Beispi...
03.08.2013, 18:59
3
Antworten

Typsichere diskriminierte Vereinigungen in C # oder: Wie kann die Anzahl der Implementierungen einer Schnittstelle begrenzt werden?

Zuerst, Entschuldigung für die lange Post. Grundsätzlich ist meine Frage: Ich versuche, den folgenden F # diskriminierten Vereinigungstyp in C # zu reproduzieren: %Vor% Kann jemand eine einfachere schnittstellenbasierte Lösung vorschlag...
12.03.2011, 14:04