haskell

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

Beispiel für Leistungseinbußen aufgrund der Verwendung von strikten Datenkonstruktoren

Ich lese über strikte Datenkonstruktoren . Der verlinkte Wiki-Artikel besagt, dass    "Strictness-Annotationen können die Leistung verschlechtern [weil] eine Strictness-Annotation den Compiler zwingt, sicherzustellen, dass das Feld vor dem K...
12.01.2017, 21:25
1
Antwort

Haskell monads: Wie lautet der Name für '(=)' und '(=)'?

Ich spiele schon seit einigen Jahren mit Haskell; Ich bin sehr zufrieden damit, wie Monaden funktionieren und wie sie verwendet werden und was die Operatoren (<<=) und (>>=) tun. Aber ich weiß immer noch nicht, wie ich über...
22.12.2013, 14:36
2
Antworten

Können wir Variablenvariablen in der Konstruktorposition im Hindley-Milner-Typensystem haben?

In Haskell können wir den folgenden Datentyp schreiben: %Vor% Die Typvariable f hat die Art * -> * (d. h. es ist ein Konstruktor des unbekannten Typs). Daher hat Fix die Art (* -> *) -> * . Ich frage mich, ob Fix ein g...
06.05.2016, 04:38
1
Antwort

Stößt 'threadDelay (maxBound :: Int)' einen GHC-Bug aus oder was?

Ich möchte, dass mein Programm im Grunde für immer blockiert und die erste Idee, die ich hatte, war: %Vor% Dies gab einige falsche Warnungen: %Vor% Habe ich falsch gemacht oder habe GHC gemacht?     
06.08.2015, 01:19
3
Antworten

Best Practice zum Design und zur Verwendung des Datentyps in Haskell

Meine Frage bezieht sich auf eine allgemeinere Frage zum Haskell-Programmdesign. Ich möchte mich jedoch auf einen bestimmten Anwendungsfall konzentrieren. Ich habe einen Datentyp (z. B. Foo ) definiert und ihn in einer Funktion (z. B. f...
03.01.2014, 06:48
1
Antwort

Werkzeuge zum Anzeigen von Haskell-Pfeilen als Graphen

Haskell-Pfeile werden häufig so erklärt, dass sie einen gerichteten azyklischen Graph (DAG) von Berechnungen ausdrücken. Ich suche nach Werkzeugen oder Bibliothekscode, die diese Beziehung für die Programmierung mit Arrows verwenden würde. Vo...
23.02.2014, 19:37
2
Antworten

Pipes.Binary.decode - wozu dient StateT?

Ich versuche, einen grundlegenden Netzwerkserver mit Pipes und den darauf aufbauenden Bibliotheken zu schreiben. Der beabsichtigte Fluss wäre: bekomme bytestring von socket - & gt; Dekodieren mit Binär - & gt; Server Logik geht hier - & gt; A...
01.02.2014, 21:16
3
Antworten

Änderung von Haskells Functor für die Metaprogrammierung

Meine Kenntnisse der Kategorientheorie sind nicht sehr gut. Also bitte bitte mit mir. Ich habe Monaden gelesen und sah die folgende Definition. %Vor% Von dieser Seite habe ich gelesen, dass der Funktor-Typ in Haskells Vorspiel wirkli...
12.04.2015, 09:53
1
Antwort

Baum als Instanz von funktor und faltbar

Ich schreibe einen kleinen Code für ein hw-Problem, der uns auffordert, eine Definition von tree eine Instanz von funktor und faltbar zu machen. Wenn ich den folgenden Code schreibe: %Vor% Der folgende Fehler wird angezeigt: %Vor% Wo geh...
14.11.2013, 22:27
2
Antworten

Verhalten von Naturalien auf Typenniveau in GHC 7.8

Wenn Vektoren nach ihrer Länge indiziert werden sollen, können Sie Folgendes tun: %Vor% In ghc 7.8 hatte ich gehofft, dass dies mit den neuen Literalen veraltet würde , aber die direkte Konvertierung ist ungültig: %Vor% Leider gibt dies...
14.05.2014, 21:19