Als «haskell» getaggte Fragen

Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerter Auswertung, umfassender Unterstützung für Parallelität und Parallelität sowie einzigartigen Abstraktionsfunktionen.

5
Funktionale Entwurfsmuster [geschlossen]
Geschlossen. Diese Frage entspricht nicht den Richtlinien für Stapelüberlauf . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Stack - Überlauf. Geschlossen vor 4 Jahren . Verbessere diese Frage Es gibt viele funktionale Redewendungen: Monaden, Applikative, Pfeile usw. …
4
Wann erfolgt die automatische Memoisierung in GHC Haskell?
Ich kann nicht herausfinden, warum m1 anscheinend gespeichert ist, während m2 nicht im Folgenden enthalten ist: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 benötigt beim ersten Anruf etwa 1,5 Sekunden und bei nachfolgenden Anrufen einen Bruchteil davon (vermutlich wird die Liste …
106 haskell  ghc  memoization 
2
Was ist die Comonad-Typklasse in Haskell?
Was ist die Comonad-Typklasse in Haskell? Wie in Comonad von Control.Comonad im Comonad-Paket (Erläuterungen zu anderen Paketen, die eine Comonad-Typklasse bereitstellen, sind ebenfalls willkommen). Ich habe vage von Comonad gehört, aber alles, was ich wirklich darüber weiß, ist, dass es eine extract :: w a -> aArt Parallele zu Monad …
2
Fehlerhafte Lochtypauflösung
Ich habe kürzlich herausgefunden, dass Typlöcher in Kombination mit Mustervergleich auf Proofs eine ziemlich schöne Agda-ähnliche Erfahrung in Haskell bieten. Beispielsweise: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x == x sym :: a == b -> …
8
Haskell, Lisp und Ausführlichkeit [geschlossen]
Diese Frage passt derzeit nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich zu Debatten, Argumenten, Umfragen oder erweiterten Diskussionen führen. Wenn Sie der Meinung sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden kann, …
1
Wie funktioniert Haskell printf?
Die Typensicherheit von Haskell ist unübertroffen, nur bei Sprachen mit abhängiger Eingabe. Aber mit Text.Printf ist eine tiefe Magie im Gange , die ziemlich typisch wirkt. > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 Was ist die tiefe Magie dahinter? Wie kann …
3
Was ist der Unterschied zwischen Cabal und Stack?
Gestern habe ich von einem neuen Haskell-Tool namens Stack erfahren . Auf den ersten Blick sieht es so aus, als ob es den gleichen Job wie Cabal macht. Was ist der Unterschied zwischen ihnen? Ist Stack ein Ersatz für Cabal? In welchen Fällen sollte ich Stack anstelle von Cabal verwenden? …
4
Tools zur Analyse der Leistung eines Haskell-Programms
Beim Lösen einiger Project Euler-Probleme, um Haskell zu lernen (daher bin ich derzeit ein absoluter Anfänger), bin ich auf Problem 12 gestoßen . Ich habe diese (naive) Lösung geschrieben: --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. …
4
Haskell-Testworkflow
Ich habe gerade ein neues Haskell-Projekt gestartet und wollte von Anfang an einen guten Test-Workflow einrichten. Es scheint, dass Haskell viele exzellente und einzigartige Testwerkzeuge und viele verschiedene Möglichkeiten zur Integration hat. Ich habe untersucht: HUnit Schneller Check Bankdrücken HPC Komplexität Was alle in ihren Bereichen sehr gut zu funktionieren …
101 testing  haskell 
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.