Suchergebnisse für Anfrage "haskell"
Nicht erschöpfendes Muster in Funktion noThirds
Mein Problem ist also, dass ich ein Programm schreiben muss, das alle 3 * x (3,6,9 ...) Elemente aus einer Liste filtert. Mein Programm sieht so aus: length' :: [a] -> Int length' = foldr (\_ -> (+1)) 0 help_ :: [a] -> [a] -> [a] help_ (x:xs) [] ...
Haskell scheut sich vor probabilistischen Datenstrukturen?
Wenn Sie nach in Haskell implementierten Sprunglisten suchen, werden Sie nicht viele finden. Es handelt sich um eine probabilistische Datenstruktur, die einen Zufallszahlengenerator benötigt, was bedeutet, dass jede dieser Strukturen in der E / ...
SAT-Lösung mit der haskell SBV-Bibliothek: Wie wird ein Prädikat aus einer analysierten Zeichenfolge generiert?
Ich möchte aString das zeigt eine aussagenformel und findet dann alle modelle der aussagenformel mit einem SAT-löser. Jetzt kann ich eine aussagekräftige Formel mit derhatt [http://hackage.haskell.org/package/hatt]Paket; siehe dietestParse ...
Haskell -> F #: Turners Sieb
Ich las über verschiedene Siebalgorithmen, als ich auf eine Art verbesserte Version des Eratosthenes-Siebs namens Euler's Sieve stieß. ...
Lax monoidale Funktoren mit einer anderen monoidalen Struktur
Applikative Funktoren sind unter Haskellers bekannt und beliebt, da sie Funktionen in einem effektiven Kontext anwenden können. Kategorietheoretisch kann gezeigt werden, dass die Methoden vonApplicative: pure :: a -> f a (<*>) :: f (a -> b) -> ...
Foldr / Foldl kostenlos, wenn Tree Foldable Foldmap implementiert?
Ich bin Anfänger bei einem Haskell und lerne von "Learn You a Haskell". Ich verstehe etwas nicht über die Tree-Implementierung von Foldable. instance F.Foldable Tree where foldMap f Empty = mempty foldMap f (Node x l r) = F.foldMap f l `mappend` ...
Was ist ein guter Grund, eine Typensignatur für Funktionen zu verwenden, wenn der Compiler auf die Typen schließen kann?
Ich versuche, mit 'gutem Haskell-Stil' zu codieren, und folge daher den typischen Codierungsstandards, die ich in der Umgebung finde. Kompilieren mit -Wall und -Werror, wie ich es von C gewohnt bin. Eine der Warnungen, die ich häufig erhalte, ist ...
Ist eine eta-Reduktion möglich?
Ist es möglich, im folgenden Fall eine eta-Reduktion anzuwenden? let normalise = filter (\x -> Data.Char.isLetter x || Data.Char.isSpace x )Ich hatte so etwas erwartet: let normalise = filter (Data.Char.isLetter || Data.Char.isSpace)...aber es ...
Reißverschluss mit Foldr umsetzen
Ich bin gerade in Kapitel 4 von Real World Haskell und versuche, meinen Kopf herumzureißenImplementierung von foldl in Bezug auf foldr [http://book.realworldhaskell.org/read/functional-programming.html#x_E9]. (Hier ist ihr Code :) myFoldl :: (a ...
Der Code wird langsamer, wenn mehr Boxed Arrays zugewiesen werden
Bearbeiten: Es stellt sich heraus, dass die Dinge im Allgemeinen (nicht nur Array / Ref-Operationen) langsamer ablaufen, je mehr Arrays erstellt wurden. Ich schätze, dies ist nur eine Messung der erhöhten GC-Zeiten und ist möglicherweise nicht so ...