gadt, Seitenzahl 1

1

Antwort

Haskell-Typ-Familienanwendungen werden nicht ausgewertet

Ich habe eine interessante Situation gefunden, wenn ich Datenarten mit Typfamilien verwende. Die Fehlermeldung des Compilers lautet No instance for (C (ID ())) arising from a use of W . Es deutet darauf hin, dass eine Anwendung der Typfamil...

16.09.2014, 16:32

2

Antworten

Was kommt Haskell GADTs und typeclasses in F # am nächsten?

F # ist eine ML mit OOP. Was kommt den Haskell-generalisierten algebraischen Datentypen und Typklassen am nächsten?

09.11.2012, 15:29

4

Antworten

Haskell: Heterogene Liste für Daten mit Phantomvariablen

Ich lerne gerade über existenzielle Quantifizierung, Phantomtypen und GADTs. Wie gehe ich vor, um eine heterogene Liste eines Datentyps mit einer Phantomvariablen zu erstellen? Zum Beispiel: %Vor% Funktionen wie unten sind OK: %Vor% Ich...

10.02.2015, 17:30

2

Antworten

GADT vs Existentiell quantifizierte Typen (* forall *)

Man kann GADT verwenden, um Existentiell quantifizierte Typen auszudrücken. Ich sehe, dass GADT generischer ist - Datentyperweiterungen , Abschnitt Abschnitt 7.4.7 Wenn es besser ist Existentiell quantifizierte Typen zu verwenden,...

03.08.2014, 10:36

2

Antworten

Scala Type-Inference für Typkonstruktor

Ich habe eine Frage bezüglich Typinferenzierung auf Scala Typ-Konstruktoren. Ich benutze Scala 2.9.1 ... Angenommen, ich habe Tree definiert: %Vor% Und einen BinaryTree basierend auf meiner Baumdefinition definiert: %Vor% Ich kann jet...

03.12.2011, 18:19

1

Antwort

Sind Typvariablen in GADT-Köpfen sinnvoll?

Gibt es einen Unterschied zwischen diesen beiden GADT-Erklärungen? %Vor%

24.11.2016, 13:21

1

Antwort

wie man Strings mithilfe von GADTs zum Syntaxbaum syntaktisch analysiert

Ich habe die Einführung von GADT hier gelesen, und ich fand die Idee, den Programmierer einzuschränken, nur den richtigen Typ zu erstellen Syntaxbaum groß, und ich habe diese Idee in meine einfache Lambda-Kalkül-Interpreter, aber später erkann...

19.06.2012, 15:40

1

Antwort

Wie kann ich beschränkte Beschränkungen mit GADTs verwenden?

Ich habe den folgenden Code und möchte, dass fehlschlägt type checking: %Vor% Die Idee ist, dass jeder Eintrag in der GADT einen zugehörigen Fehler hat, den ich mit einer Prism in eine größere Struktur modelliere. Wenn ich diese GADT "i...

29.04.2014, 12:53

1

Antwort

GHC beschwert sich über nicht vollständige Muster, die vom Typprüfer erzwungen werden

Ich habe den folgenden Code %Vor% Beim Kompilieren oder Interpretieren mit -Wall wird die folgende Warnung ausgegeben: %Vor% Normalerweise ist das zu erwarten. Normalerweise, selbst wenn ich meinen Grund dafür habe, dass meine Muster...

15.10.2013, 05:31

2

Antworten

GADT-Argument wird nicht für die Klassenauflösung verwendet

Betrachten Sie den folgenden Code %Vor% Die Musterübereinstimmung in useDynFoo sollte die Verwendung von obsFoo auf den Typ Foo f -> Foo Int beschränken, was dazu führen sollte, dass nach einer Instanz von DynFoo Int gesucht w...

13.09.2016, 02:54