Suchergebnisse für Anfrage "haskell"
Wie können Löcher und Kontexte für höherwertige Typen in einer Bibliothek im Linsenstil implementiert werden?
András Kovács hat diese Frage vorgeschlagenals Antwort auf eine Antwort auf eine vorherige Frage. [https://stackoverflow.com/questions/25355570/simplifying-a-gadt-with-uniplate/25389564#comment39600628_25389564] In einer objektivartigen ...
Typklasseneinschränkung für Instanzen von Typfamilien
Ist es möglich, eine Typklasseneinschränkung anzugeben, die von allen Instanzen einer Typfamilie erfüllt werden muss? Wie würde ich zum Beispiel angesichts der folgenden Deklaration sicherstellen, dass alle Instanzen auch Instanzen von ...
Können Sie Funktionen erstellen, die Funktionen einer abhängigen Arität in einer abhängig typisierten Sprache zurückgeben?
Nach dem, was ich über abhängige Typen weiß, denke ich, dass es möglich sein sollte, aber ich habe noch nie ein Beispiel dafür in einer abhängig geschriebenen Sprache gesehen, daher bin ich nicht genau sicher, wo ich anfangen soll. Was ich will, ...
C-Compilerauswahl im cabal-Paket
Ich habe beschlossen, einige Flags hinzuzufügen, um die Kompilierung der C-Quelldatei zu steuern (z. B. use-clang, use-intel usw.). C-Sources: c_lib/tiger.c Include-Dirs: c_lib Install-Includes: tiger.h if flag(debug) GHC-Options: -debug -Wall ...
Von Pfeilnotation konvertieren
Ich versuche immer noch, die Parallelen zwischen der Pfeilnotation und der Semantik der in Haskell definierten Pfeiltypen zu verstehen. Speziell,diese Frage [https://stackoverflow.com/questions/6976944/how-does-arrowloop-work-also-mfix] scheint ...
Wie setze ich Ghci-Optionen für cabal repl?
Ich habe ein Hashell-Projekt, mit dem ich kompiliere-Werror standardmäßig. Das heißt, wenn ich rennecabal repl es läuft mit der Option-Werror eingeschaltet. Das bedeutet das zum Beispiel wenn ich auswerte2 + 2 Ich erhalte ...
Wie füge ich einer Functor-Instanzdeklaration in Haskell eine Klassenbeschränkung hinzu?
Ich habe folgenden Datentyp definiert: data Probability a = PD { mass :: [(a, Ratio Int)] }Jetzt möchte ich schreiben, dass es eine Instanz von istFunctor: collect :: (Eq a, Num b) => [(a, b)] -> [(a, b)] collect al = map collect' keys where ...
Wie kann ich eine benutzerdefinierte Objektdatei mit der Haskell-Bibliothek verknüpfen?
Ich habe ein Haskell-Paket erstellt, mit dem FFI-Aufrufe für im CUDA-Code definierte Funktionen ausgeführt werden. Ich möchte die .cu-Datei während der Paketerstellung in eine Objektdatei (.o) kompilieren und den Linker zwingen, sie zu ...
Bauen Sie ein Conduit mit Hilfe von Kombinatoren wieder in größere Stücke
Ich versuche eine zu konstruierenConduit das erhält als EingabeByteStrings (von ca. 1kb pro Chunk in der Größe) und erzeugt als Ausgabe verkettetByteStrings von 512 kb Blöcken. Dies scheint einfach zu sein, aber ich habe große Probleme. Die ...
Überprüfen des Verständnisses von: "Variable" v.s. "Wert" und "Funktion" vs "Abstraktion"
(Diese Frage ist eine Fortsetzung vondieses [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] während des Studiums Haskell.) Früher war der Begriff zwischen "Variable" und "Wert" verwirrend. Deshalb ...