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.
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
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
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
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