Suchergebnisse für Anfrage "algebraic-data-types"

8 die antwort

haskell Summentyp Mehrfachdeklarationsfehler

data A=A data B=B data AB=A|BWelche ergibt einen Summentyp AB aus A und B. Aber die letzte Zeile führt zu einem Kompilierungsfehler "Mehrere Deklarationen von B" Ich habe es auch so versucht: data A=Int|BoolIt kompiliert. aber warum erlaubt ...

8 die antwort

Haskells algebraische Datentypen

2 die antwort

Wenn die Vererbung von Fallklassen verboten ist, wie kann dies dargestellt werden?

Ich versuche, die Fallklassen wie in @ beschrieben zu erstelleDieser Artike [https://gleichmann.wordpress.com/2011/03/06/functional-scala-a-little-expression-language-with-algebraic-datatypes-and-pattern-matching/] sealed abstract case class ...

TOP-Veröffentlichungen

5 die antwort

“Pattern Matching” von Datenkonstruktoren vom algebraischen Typ

Betrachten wir einen Datentyp mit vielen Konstruktoren: data T = Alpha Int | Beta Int | Gamma Int Int | Delta IntIch möchte eine Funktion schreiben, um zu überprüfen, ob zwei Werte mit demselben Konstruktor erzeugt werden: sameK (Alpha _) ...

1 die antwort

Wie füge ich Felder hinzu, die nur etwas in ADT zwischenspeichern?

Oft muss ich einem ADT Felder hinzufügen, die nur einige redundante Informationen speichern. Aber ich habe nicht ganz herausgefunden, wie ich es gut und effi...

2 die antwort

Beeinflussen die var-Mitglieder in der case-Klasse die Gleichheit der case-Klasse?

Ich habe in meinem Code viel von Fallklassen Gebrauch gemacht und auf die zugrunde liegenden Gleichheitsdefinitionen der Fallklasse geantwortet, um mich rich...

2 die antwort

Warum wird im Namen von "Algebraischer Datentyp" "Algebraisch" verwendet?

Wenn ich Scala / Haskell lerne, sehe ich, dass es ein Konzept von gibt Algebraischer Datentyp [http://en.wikipedia.org/wiki/Algebraic_data_type]. Ich habe die Erklärung aus der Wikipedia gelesen, aber ich habe noch eine Frage: Warum wird das ...

1 die antwort

Ist es möglich, Rust-Code zur Laufzeit zu generieren und auszuführen?

5 die antwort

Wie emuliert man ADTs und Pattern Matching in TypeScript?

Leider verfügt TypeScript ab Version 0.9.5 (noch) nicht über algebraische Datentypen (Unionstypen) und Pattern Matching (um sie zu destrukturieren). Darüber hinaus werden Instanzen von Schnittstellen nicht unterstützt. Welches Muster verwenden ...

4 die antwort

Speicherabdruck der Haskell-Datentypen

Wie kann ich die tatsächliche Speichermenge ermitteln, die zum Speichern eines Werts eines Datentyps in Haskell erforderlich ist (meistens mit GHC)? Ist es möglich, es zur Laufzeit auszuwerten (z. B. in GHCi), oder ist es möglich, ...