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

Gibt es eine Powerset-over-Reader-Monade?

Die kanonische 'Monad-Instanz' für die gemeinsame Nutzung der Umgebung plus Nichtdeterminismus ist wie folgt (mit Pseudo-Haskell, da Haskells Data.Set natürlich nicht monadisch ist): %Vor% Wenn man versucht, eine 'Container'-Monade wie Po...
16.02.2017, 00:20
1
Antwort

Implementierung von Faltbar in Haskell

Zum Beispiel habe ich einen Datentyp. Lass es ein binärer Baum sein: %Vor% Zum Beispiel habe ich eine Traversierung des Baumes implementiert: %Vor% Es funktioniert ziemlich gut. Aber ich möchte Foldable interface implementieren. Ic...
27.03.2015, 08:00
1
Antwort

Unterschied zwischen (=) und (=)

Ich brauche etwas Klärung bezüglich (& gt; & gt; =) und (& gt; = & gt;). %Vor% Ich weiß über Bind-Operator (& gt; & gt; =), aber ich bekomme nicht den Kontext, wo (& gt; = & gt;) nützlich ist. Bitte erklären Sie mit einem einfachen Spielzeug...
22.08.2016, 13:56
1
Antwort

Ist coproduct dasselbe wie sum types?

Ich beobachtete diesen Vortrag von Bartosz Milewski und er erklärte Koprodukt- und Summentypen. In der Vorlesung ging er von einem zum anderen. Ist das Nebenprodukt dasselbe wie der Summentyp?     
23.04.2017, 15:23
1
Antwort

Kabale meldet "/ usr / bin / ld: kann -lHSrandom-1.0.1.1-ghc7.8.3 nicht finden"

Ich habe Ubuntu 14.04LTS. Ich habe die neueste ghc-7.8.3 von Ссылка heruntergeladen und auf /usr/local installiert. Dann habe ich meine cabal auf die Version 1.20.0.3 aktualisiert. Ich tippte cabal install QuickCheck in me...
19.07.2014, 09:14
2
Antworten

Könnte es sein, dass (Alternative f, Faltbare f) = Monade f?

Die folgenden Typprüfungen: %Vor% Ist das tatsächlich eine gültige Monad -Instanz? Wenn ja, warum wird es nicht verwendet? Wenn nein, bricht es irgendwelche Gesetze oder solche? Ich habe nicht bewiesen, dass die Gesetze gelten, aber ich k...
24.05.2017, 11:19
1
Antwort

Verwendung von regexp in haskell-Funktionswächtern

Ich möchte eine Haskell-Funktion schreiben, deren Verhalten von einem Regex-Muster abhängt, das einem der Argumente entspricht. In einer Sprache wie C / Python / Perl würde ich definitiv nur ein großes if / else-Konstrukt verwenden, aber ich hab...
01.08.2015, 18:40
2
Antworten

Warum benötigt die Funktionszusammensetzung Klammern?

Nehmen wir an, ich möchte Text.pack mit Text.strip zusammenstellen. :t (.) produziert: (b -> c) -> (a -> b) -> a -> c :t (Text.pack) produziert: String -> Text :t (Text.strip) produziert: Text -&g...
11.08.2016, 20:40
1
Antwort

minBound und maxBound geben eine falsche Zahl für Int zurück

   Ein ganzzahliger Typ mit fester Genauigkeit mit mindestens dem Bereich [-2 ^ 29 ..   2 ^ 29-1]. Der genaue Bereich für eine gegebene Implementierung kann bestimmt werden   indem Sie minBound und maxBound von der Bounded-Klasse verwenden....
20.08.2015, 21:05
2
Antworten

IO [Maybe String] zu IO [String] filtern

Wie man IO [Maybe String] filtert, um nur die Just -Werte der Liste zu behalten, die >>= benutzen und den IO-Kontext behalten. %Vor% Meine aktuelle Lösung ohne den Bind-Operator: %Vor% Ich lerne gerade Haskell und versuche...
28.04.2016, 16:41