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

Was ist der richtige Weg, um zugewiesenen Speicher in der Fremdsprache zu verwalten?

Mein Fall ist ziemlich einfach: Ich habe eine C ++ - Anwendung und eine Haskell-Bibliothek, und ich muss nur eine Funktion aus Haskell exportieren, die eine C-Zeichenfolge zurückgeben würde. Das Problem ist, dass die C-Zeichenfolge ursprüngli...
22.01.2015, 21:18
1
Antwort

Warum wird der Fehler "Kann Ausdruck GHC.Prim.Int # nicht vektorisieren" in DPH-Programmen ungültig?

Ich habe versucht, das NQUEEN-Problem mit DPH zu implementieren, aber ich endete damit, dass ich den GHC.Prim.Int # -Fehler nicht vektorisieren konnte. Als ich nach dem Fehler gegoogelt habe, habe ich einen GHC Bug gefunden, der über vektorisier...
19.08.2012, 11:18
0
Antworten

Gibt es eine Möglichkeit, GHC davon zu überzeugen, dass diese (injektive) Familie injektiv ist?

Ich habe mit GHC's DataKinds herumgespielt und versucht, binäre Nats vom Typ-Level zu implementieren. Sie sind einfach genug zu implementieren, aber wenn ich möchte, dass sie in häufigen Fällen nützlich sind, dann muss GHC glauben, dass die Suc...
14.01.2018, 15:21
1
Antwort

Dauerhaft: CRUD TypeClass

Ich versuche, eine Typklasse zu schreiben, die das Schreiben eines CRUD-Backends mit persistent , aeson und sotty vereinfacht Hier ist meine Idee: %Vor% Dies kompiliert nicht, ich bekomme diesen Fehler: %Vor% Es sieht so aus, als...
11.04.2013, 09:50
1
Antwort

Kann Haskell OSGi implementieren?

Meine Frage wird durch einen Beitrag von Peter Kriens ausgelöst: Was ist, wenn OSGi Ihre bevorzugte Sprache verwendet hat ? Ist es also möglich, dass Haskell die OSGi-Spezifikationen implementiert? Wenn nicht, warum?     
13.03.2012, 14:01
1
Antwort

1GB Vector, wird Vector.Unboxed Ärger geben, wird Vector.Storable geben Ärger?

Wir müssen lange 1 GB zusammenhängende Bytes im Speicher für lange Zeiträume (Wochen bis Monate) speichern und versuchen, eine Vektor / Array-Bibliothek zu wählen. Ich hatte zwei Bedenken, auf die ich keine Antwort finden kann. Vector.Unbox...
04.05.2015, 19:10
0
Antworten

Idiomatische Verwendung von Haskell-fremden Typen?

Problem: Um von Haskell-Typen zu fremden Typen und zurück zu gelangen, ist eine Menge Standardcode erforderlich. Angenommen, wir arbeiten mit der folgenden Haskell-Datenstruktur: %Vor% Um diese Datenstruktur in das Land von C zu bekomme...
18.12.2016, 00:31
1
Antwort

Cabal Cabal-Install funktioniert nicht, seltsamer Fehler

Ich muss Jessod und Abhängigkeiten über Cabal installieren, leider kann ich Kabale nicht aktualisieren. Shell-Ausgabe: %Vor% Weiß jemand, wie man es repariert? Nichts macht wirklich Sinn für mich.     
29.10.2013, 08:03
0
Antworten

Ist es möglich, ein "persistentes" Schema in Stücken zu konstruieren?

Sagen wir, ich habe 4 Module: Common, A, B und Main, und ich möchte das folgende Schema: %Vor% Aber ich möchte es auf die Module Common, A und B aufteilen. Ich möchte dann, dass Main von allen abhängig ist und die Datenbanklogik enthält....
30.09.2016, 21:36
0
Antworten

Anzeigen von benutzerdefinierten Typfehlern in Typfamilien

GHC 8.0 verfügt über eine Funktion für benutzerdefinierte Typfehler . Ich probiere das aus, aber ich kann es nicht richtig machen, was ich will: %Vor% Die ersten vier Definitionen von main funktionieren wie erwartet: kompiliert Feh...
11.06.2016, 23:22