haskell

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

Übereinstimmendes spezifisches Unicode-Zeichen in haskell regexp

Dies ist ein Mac / OSX-Problem! Ich habe die folgende drei Zeichen lange Haskell-Zeichenfolge: %Vor% Ich möchte das mittlere Zeichen anpassen und ersetzen Mehrere Ansätze wie %Vor% führte nicht zum gewünschten Ergebnis. Wie mu...
18.02.2011, 23:24
2
Antworten

Cont monad shift

Während ich versuchte, etwas Intuition für den ContT-Monade-Transformer aufzubauen, fand ich mich (vielleicht nicht überraschend) verwirrt. Das Problem liegt in der shiftT-Operation, die nichts Nützliches zu tun scheint. Zuerst ein einfaches...
29.04.2017, 12:20
1
Antwort

Wie wirkt sich die Reihenfolge der Argumentübergabe auf die verzögerte Auswertung in Haskell aus?

Ich habe versucht, eine faule Bewertung in Haskell zu verstehen, und ich habe es im Grunde genommen nur als evaluiert, wenn es sein muss. Aber als ich versuchte, Fibonacci effizient zu implementieren, stieß ich auf dieses (seltsame?) Verhalten:...
22.01.2017, 13:40
3
Antworten

Erfahrungsberichte mit indizierten Monaden in der Produktion?

In einer früheren Frage habe ich die Existenz von Conor McBrides Kleisli-Pfeilen von Outrageous Fortune während der Suche nach Möglichkeiten der Codierung Idris Beispiele in Haskell . Meine Bemühungen, McBrides Code zu verstehen und ihn in Ha...
06.11.2016, 21:13
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

Haskell funktioniert mit der Zeit

%Vor% Versuchen Sie zu verstehen, wie Sie eine Wrapper-Funktion für factorise schreiben, die nach dem usc ausläuft. Wenn es erfolgreich ist, gibt es RetType zurück, andernfalls gibt es Integer zurück (was übergeben wurde) Ich bin etwas...
01.10.2015, 01:48
1
Antwort

Was ist die Ursache für diesen mysteriösen Haskell-Fehler, der die Reflexion betrifft?

Ich spielte mit dem Haskell Reflektionspaket , und ich stieß auf einen Typfehler, den ich nicht vollständig verstehe. Zuerst habe ich versucht, die folgende Funktion zu schreiben, die gerne checket: %Vor% Interessanterweise macht dieses etw...
08.12.2017, 07:01
1
Antwort

Nominale Rollen und Datenfamilien

Ich verstehe, warum die neuen Rollensysteme und Annotationen Typ (und Daten) Familienparameter in der Rolle nominal . Also habe ich erwartet, als ich erklärt habe %Vor% Das ty und a würden nominal Rollen erhalten. (Mein aktue...
28.08.2014, 02:33
1
Antwort

Verwenden Sie StateT in Web.Scotty

Ich versuche einen dummen Webserver zu erstellen, der Daten als State speichert. Ich verwende Web.Scotty . Ich habe ReaderT zuvor mit scotty verwendet, um auf config
16.12.2014, 00:01
1
Antwort

QuasiQuote mit Argumenten

Ich möchte ein Zitat in Haskell schreiben. Das Namensargument muss in gen-Funktion übergeben werden, um eine Deklaration zu generieren. %Vor% Es scheint jedoch, dass ich das Zitat nicht so verwenden kann %Vor% Da Haskell keine Quote-Dekl...
08.12.2014, 02:32