typeclass, Seitenzahl 3

1

Antwort

Ist es üblich, denselben Namen für den Datentyp und den Wertkonstruktor in Haskell zu verwenden?

Blick auf den folgenden Code: %Vor% Das ist aus dem Buch Lernen Sie ein Haskell für Großartiges, das dieses Codebeispiel mit dem folgenden Text begleitet: Beachten Sie, dass wir beim Definieren eines Punkts den gleichen Namen für den D...

20.06.2016, 08:19

1

Antwort

Heterogene gesponserte Typen zurück zu Werten reflektieren, kompositorisch

Ich habe kürzlich mit -XDataKinds gespielt und würde gerne eine erweiterte Struktur mit Typfamilien erstellen und auf die Wertebene zurückziehen. Ich glaube, dass dies möglich ist, weil die kompositorischen Komponenten sehr einfach sind und d...

19.01.2015, 17:15

1

Antwort

Haskell Data.List.Class und Syntax

Ich versuche, den Quellcode für das Haskell-Paket Data.List.Class zu lesen. (Liste-0.4.2). Aber ich bin mit einigen der Syntax fest. Gleich zu Beginn heißt es: %Vor% Ich bin nicht vertraut mit der Syntax der 3. Zeile. Ich denke, dass dies...

02.08.2012, 03:39

2

Antworten

Das Hinzufügen der Typensignatur verursacht einen Kompilierungsfehler

In Haskell kann ich eine Funktion wie folgt definieren: %Vor% Wenn ich anal sein möchte, kann ich der letzten Zeile eine Typensignatur hinzufügen: %Vor% Ich kann auch eine Funktion bar in Form einer Typklasse definieren: %Vor% Wen...

21.01.2014, 22:10

1

Antwort

Haskell überlappende Instanzen und Typ-Funktionen

Ich habe die folgende Typklasse, die eine SQL-ähnliche Abfrageoptimierung modelliert: %Vor% Das Problem ist, dass ich den Fehler "Conflicting family instance declarations" bei der Funktion Optimized type bekomme. Warum ist das und wie kann i...

16.12.2010, 16:41

1

Antwort

Kombinieren von Data.Dynamic- und type-Klassen

Ist eine Variable vom Typ Dynamic erlaubt, die Typklassen der internen Variablen zu nutzen, ohne den genauen Typ zu berücksichtigen? Nehmen wir zum Beispiel an, ich möchte eine Funktion prettyShow schreiben. Wenn der interne Typ eine Insta...

05.04.2014, 03:50

4

Antworten

Instanz Alternative ZipList in Haskell?

ZipList kommt mit einem Functor und einer Applicative-Instanz ( Control.Applicative ) aber warum nicht Alternative? Gibt es keine gute Instanz? Was ist mit dem unten vorgeschlagenen? Ist es fehlerhaft? ist es nutzlos? Gibt es andere...

13.08.2013, 13:42

2

Antworten

Mache Funktionen zu einer Instanz der Vektortypklasse

Ich habe eine benutzerdefinierte Typklasse für mathematische Vektoren %Vor% und ich möchte Zahlen a und Funktionen a -> vector zu einer Instanz der Klasse machen. Zahlen sind einfach: %Vor% und ich dachte, Funktionen wären auch...

23.10.2012, 11:34

1

Antwort

Wie kann ich Polymorphismus in eine Datenstruktur einbringen?

Eine neue Frage brachte mich dazu, mich zu fragen, wie man ein %Vor% in ein %Vor% Es gibt einen einfachen Weg, es wirklich langsam zu machen, indem man sich in die Liste mit !! indexiert, aber es ist ziemlich unglaublich ineffizient...

12.10.2015, 21:23

1

Antwort

So definieren Sie Typklassen-Synonyme

In dem Bestreben, eine vernünftige (r) Alternative zu Haskells numerischem Typsystem zu schaffen, sind die Entwickler von numeric-prelude rutschte auf und entschied sich, all ihre Typklassen C zu nennen. Abgesehen davon, dass ich die Dokume...

20.06.2014, 15:10