Suchergebnisse für Anfrage "haskell"
Verwenden Sie cabal2nix, um eine lokale Nix-Umgebung für Pakete zu erstellen, die nicht in nixpkgs @ enthalten sin
Ich habe derzeit eine Yesod-Webanwendung, die ich auf NixOS entwickle. Ich benutze eindefault.nix Datei wie in O'Charles '@ beschriebBlogeintra [https://ocharles.org.uk/blog/posts/2014-02-04-how-i-develop-with-nixos.html]: { haskellPackages ? ...
Prüfung in reaktiven Bananen
Gibt es eine Möglichkeit, in reaktiven Bananen erstellte Unit-Test-Netzwerke zu erstellen? Angenommen, ich habe ein Netzwerk mit einigen Eingabeereignissen aufgebaut. Ist es möglich, zu überprüfen, ob Ereignisse nach einer bestimmten Anzahl von ...
Open Type Level Proofs in Haskell / Idris
In Idris / Haskell kann man die Eigenschaften von Daten durch Annotieren der Typen und Verwenden von GADT-Konstruktoren nachweisen, wie bei Vect. Dies erfordert jedoch das Hardcodieren der Eigenschaft in den Typ (z. B. muss ein Vect ein von einer ...
Möglichkeiten, (benachbarte) Elemente einer Liste in 2-Tupel zu packen
Ich habe mich gefragt, ob es einen präzisen / einzeiligen Weg geben würde, um Folgendes zu tun: pack :: [a] -> [(a, a)] pack [] = [] pack [_] = [] pack (x:y:xs) = (x, y) : pack xsWas ist das gleiche wie: pack' xs = [(x, y) | (x, y, i) <- zip3 ...
Aufrufen der Dokumentation für eine Funktion über die Hoogle-Befehlszeile
Bei der Suche nach einer Funktion aufdie Hoogle-Website [https://www.haskell.org/hoogle/], man sieht die dazugehörige Dokumentation, mod :: a -> a -> a infixl 7 integer modulus, satisfying (x `div` y)*y + (x `mod` y) == xHoogle ist auch als ...
Unsequence Monad-Funktion in Haskell
Ich habe einige echte Probleme beim Entwerfen der Gegenfunktion von Haskell'ssequence -Funktion, die laut Hoogle noch nicht existiert. So verhält es sich: ghci> sequence [Just 7, Just 8, Just 9] Just [7,8,9] ghci> sequence [getLine, getLine, ...
Sum of Squares using Haskell
Ich versuche folgende Berechnung durchzuführen: Summe der Quadrate von ganzen Zahlen im Bereich x: y wobei (x <= y). Ich bin mir nicht sicher, wie ich eine Einschränkung setzen soll, um sicherzustellen, dass x kleiner oder gleich y ist. Ich ...
Die erste Zeile eines Strings in Haskell zurückgeben
Ich habe eine ziemlich einfache Frage, über die ich ratlos bin. Grundsätzlich muss ich nur eine Funktion schreiben, die einen String nimmt, ihn in Zeilen aufteilt, die erste Zeile nimmt und die erste Zeile in einem richtig formatierten ...
List basierend auf der richtigen Kan-Erweiterung
In der ``Kan-Erweiterungen zur Programmoptimierung [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf] '' von Ralf Hinze gibt es die Definition des Listentyps basierend auf der rechten Kan-Erweiterung des vergesslichen Funktors aus der Kategorie der ...
unboxing, (spärliche) Matrizen und Haskell-Vektorbibliothek
Ich möchte Matrizen (voll oder spärlich) effizient mit der Vektorbibliothek von haskell bearbeiten. Hier ist ein Matrixtyp import qualified Data.Vector.Unboxed as U import qualified Data.Vector as V data Link a = Full (V.Vector (U.Vector a)) | ...