haskell

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

Wie ist die Instanz (Param B.ByteString) verschwunden?

Ich habe einen alten Code, der kompiliert wurde, aber jetzt nicht mehr. Ich mache mir Sorgen, dass ich ein Paketmanagement-Snafu getroffen habe, und ich bin wirklich schlecht darin, mit so etwas umzugehen. Ich habe es auf ein minimales Beispiel...
02.09.2016, 13:26
1
Antwort

Unerwartetes Speicherwachstum mit Control.Monad foldM

Ich habe den folgenden Code, der abgespeckt wurde und ich denke, dass er so minimal wie möglich ist, was sehr merkwürdig ist. Der Code besteht aus zwei Quelldateien: Eine, um einige Daten zu definieren: %Vor% Und der andere ist Main: %V...
16.01.2016, 19:01
2
Antworten

Haskell - Versuche, eine Funktion auf Zeilen mehrerer Zahlen anzuwenden

Ich bin neu bei Haskell und versuche eine Funktion (gcd) für die Eingabe auf Standard-In anzuwenden, die Zeile-getrennt ist und jede Zeile nicht weniger oder mehr als zwei Zahlen enthält. Hier ist ein Beispiel meiner Eingabe: %Vor% Ich zerle...
30.03.2015, 23:09
1
Antwort

Wie kann ich die Komplexität einer Funktion verbessern, die eine Liste für jeden Punkt sortiert?

Die folgende Funktion: %Vor% Ordnet jeden Punkt P einer Liste einer Liste von Punkten zu, die nach ihrer Entfernung zu P geordnet sind. So ist beispielsweise sortByDist [a, b, c, d] Map.! b die Liste [b, a, c, d], wenn a der nächste Pu...
02.03.2015, 08:08
1
Antwort

Wie werden Aktionen codiert, die monadische Argumente mit freien (oder freieren) Monaden aufnehmen?

Die meisten monadischen Funktionen nehmen reine Argumente und geben einen monadischen Wert zurück. Aber es gibt einige, die auch monadische Argumente brauchen, zum Beispiel: %Vor% Jeder von ihnen scheint ein anderes Problem aufzuwerfen und i...
20.12.2015, 19:30
1
Antwort

Ist es möglich, 'min' in eine normalisierende Theorie wie System-F oder den Kalkül von Konstruktionen einzugeben?

Diese min -Definition arbeitet an zwei Kirchennummern und gibt am wenigsten groß aus. Jede Zahl wird zu einer Fortsetzung, die ihr pred zum anderen schickt, zig und zag, bis Null erreicht ist. Darüber hinaus hängt eine der Zahlen jedes Mal, w...
18.11.2015, 19:26
2
Antworten

Wählen Sie eine AST-Repräsentation in Haskell

Ich arbeite zur Zeit an einem Compiler für funktionale Compiler mit dem Ziel, typbezogene Dinge und leicht fortgeschrittene Techniken in Haskell zu lernen. Ich glaube, ich muss an jeden Knoten in meinem Baum Informationen anhängen, wie Positi...
12.11.2015, 19:20
2
Antworten

Implementierung von MVar in C?

Gibt es eine bekannte Implementierung von Haskell MVar in C? Es gibt ein Beispiel zur Implementierung in C ++. Aber ich möchte es in C implementieren - sagen wir nur MVar CInt Äquivalent in C für jetzt. Das Schreiben von Synchronisations...
18.01.2012, 04:07
1
Antwort

Wie (rollenbasierte) Zugriffskontrolle in Yesod?

Ich frage mich, was der beste Ansatz zum Hinzufügen von Rollen zu Benutzern / Berechtigungen zu Handler s oder Ressourcen in Yesod ist. Hat irgendjemand für diese Art von Dingen einen Stand der Technik? Gibt es Ansätze, die das Typsystem nutz...
09.03.2014, 15:52
1
Antwort

GHC-Bewertungsstrategie

Ich bin etwas verwirrt darüber, wie der folgende Code ausgeführt wird, wenn er mit GHC 7.6.3 kompiliert wird. %Vor% Kompiliert mit ghc --make -O3 , bringt es mir folgendes Ergebnis: %Vor% Aber wenn ich es in show $ m1 M.! 555 ändere...
07.03.2014, 04:35