typeclass, Seitenzahl 4

1

Antwort

Haskell erbt Typklassen

Angenommen, ich habe die folgende Klasse: %Vor% Ich möchte erklären, dass alle Instanzen dieser Klasse automatisch Instanzen von Show sind. Mein erster Versuch wäre folgender: %Vor% Mein erster Versuch, diesen Weg gestern zu gehen, fü...

04.04.2013, 09:40

1

Antwort

Besteht eine Inkohärenz der Reflektion?

Das Paket reflection bietet eine Klasse %Vor% und eine Funktion %Vor% Wenn man nur diese annimmt, könnte man die Sache ziemlich durcheinander bringen, indem man zum Beispiel die Instanz gibt %Vor% Dies wäre schlecht, weil zum Beis...

10.01.2016, 17:43

3

Antworten

Erhalte 'Show a' aus dem Kontext 'Show (a, b)'

Wie der Titel sagt, bin ich daran interessiert, Show a in einem Kontext zu verwenden, in dem ich Show (a,b) habe. Dieses Problem tritt bei GADTs wie folgt auf: %Vor% Der Fehler ist: %Vor% Ich würde denken, dass die Instanzdeklarati...

22.09.2016, 13:03

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

1

Antwort

Haskell: Wie trennt man die Schnittstelle von der Implementierung?

Ich kenne zwei Möglichkeiten, um die Spezifikation einer Schnittstelle von einer Implementierung dieser Schnittstelle in Haskell zu trennen: geben Klassen ein, z. B .: Schnittstelle: RandomGen impl: StdGen Datensätze, z.B...

19.12.2015, 16:51

3

Antworten

Transformiere eine Funktion mit einer Typklassenbeschränkung in eine Funktion, die ein explizites Typklassenwörterbuch verwendet

Es ist allgemein bekannt, dass eine Art der Implementierung von Haskell-Typklassen über Typklassenwörterbücher erfolgt. (Dies ist natürlich die Implementierung in ghc, obwohl ich die obligatorische Bemerkung mache, dass andere Implementierungen...

03.03.2014, 22:16

2

Antworten

Definieren von teilweise angewendeten Typklassen

Erkundung der Idee, dass typeclasses im Wesentlichen C ++ - abstrakte Klassen ohne verschachtelte Vererbung sind , ich habe die typeclass geschrieben %Vor% Mit einer Schnittstelle wie %Vor% Ich hätte gerne etwas wie %Vor% Damit ich...

13.03.2015, 18:33

1

Antwort

Erklärung für "Illegale Synonymfamilie"

Ich bin nur neugierig, warum ich das schreiben muss, %Vor% statt dessen %Vor% wo %Vor% Was ist die Tilde überhaupt? Vielen Dank.

23.09.2011, 01:21

1

Antwort

Haskell: Wie schreibt man eine monadische variadische Funktion mit Parametern, die den monadischen Kontext verwenden?

Ich versuche eine variadische Funktion mit einem monadischen Rückgabetyp zu erstellen, dessen Parameter auch den monadischen Kontext erfordern. (Ich bin mir nicht sicher, wie ich diesen zweiten Punkt beschreiben soll: zB printf kann IO ()...

29.08.2012, 10:30

1

Antwort

Gibt es Spracherweiterungen oder Sprachnachkommen von Haskell, die die Ausdruckskraft bevorzugen, insbesondere bei der Behandlung von Instanzen?

Manchmal stoße ich auf das "Feature", dass Haskell nur Instanzköpfe vergleicht, nämlich %Vor% wird jetzt mit jedem Typ übereinstimmen, dh das Schreiben einer anderen Instanzdeklaration von C in Ihrem Programm wird ein Fehler sein, auch...

26.01.2012, 02:56