haskell

Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen.
2
Antworten

Data.Map zu einem Funktor in Haskell machen

Ich lerne die Grundlagen von Haskell von Lerne ein Haskell für Großartiges Gutes! Es gibt eine Übung in dem Buch, in der Sie Data.Map zu einem Functor machen müssen. Ich versuche, meine eigene Funktor-Typklasse zu erstellen und Data.Map...
07.01.2014, 11:20
6
Antworten

Gibt es eine Alternative zu Datensätzen in Haskell?

Ich suche nach einer besseren Alternative zu den Standardsätzen, die nur automatisch generierte Accessor-Funktionen über Tupel sind. Das Problem ist die Benennung Probleme, bei denen Datensätze mit den gleichen Namen ihrer Felder die gleichen Ac...
03.01.2014, 20:32
2
Antworten

Kann String nicht zu einer Instanz einer Klasse in Haskell machen

Ich spiele herum und versuche den Unterricht in Haskell zu verstehen. Ich habe ein paar dumme Zeilen Code geschrieben, um den Dreh raus zu kriegen. Ich habe eine Klasse namens Slang geschrieben, die eine Funktion hat. Wenn ich Integer eine In...
08.03.2013, 02:44
1
Antwort

Haskell Existential Typen

Ich versuche mein Gehirn um Haskells existenzielle Typen zu wickeln, und mein erstes Beispiel ist eine heterogene Liste von Dingen, die gezeigt werden können: %Vor% Nun scheint es mir, dass ich das nächste, was ich tun möchte Showable eine I...
13.08.2011, 13:59
6
Antworten

So implementieren Sie eine generische Strukturhierarchie mit injizierter Funktionalität

Ich möchte eine generische Hierarchie für Baumstrukturen implementieren, die später in einer implementierungsunabhängigen Weise verwendet werden kann, um generische Algorithmen über Bäume zu beschreiben. Ich begann mit dieser Hierarchie: %V...
23.08.2011, 07:55
2
Antworten

Haskell newtype, aber alte Funktionen behalten

Ich möchte einen Typ von "Ideal" definieren, der eine Liste mit einer gewissen Struktur ist. Numeric Prelude definiert bereits Instanzen von Ring für Listen, aber sie verwenden nicht die Definitionen von Addition und Multiplikation, die ich m...
25.08.2011, 02:16
2
Antworten

Ist diese Haskell-Inferenz in Aktion oder etwas anderes?

Ich arbeite über das Online-Buch LYAH (der Link führt Sie direkt zu der Abschnitt, der meine Frage betrifft). Der Autor definiert einen Binärbaumdatentyp und zeigt an, wie eine Instanz des Typs Faltbar (definiert in Data.Foldable) durch Imp...
08.09.2011, 01:31
1
Antwort

Monade für Const?

Warum gibt es keine Monad-Instanz für Control.Applicative.Const ? Ist die folgende Definition korrekt oder verletzt sie die Monadengesetze? %Vor% Und können Sie sich irgendeine nützliche Anwendung vorstellen?     
17.07.2012, 20:29
2
Antworten

Wie man sich im monadstransformator verzweigt

Betrachten Sie einige Monade-Transformatoren, sagen Sie %Vor% Und einige Funktionen in J : %Vor% Dann fand ich mich in J context wieder. Ich kann schreiben %Vor% Nun möchte ich Queues in einem separaten Thread innerhalb von J...
06.03.2012, 13:23
2
Antworten

Noch ein neuer Typ vs. Daten (stilistisches Problem)

Ich kenne die Unterschiede zwischen data , newtype und type sehr gut. Ich schreibe ein kleines Skript, das eine Art Syntaxbaum erstellt. Fast alle Typen haben einen Konstruktor . Ich vermeide type , um die Sicherheit zu erzwingen (meh...
15.02.2012, 12:58