In GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Warum ist die erste keine verschachtelte
Beim Kompilieren meiner Haskell-Anwendung mit der -WallOption beschwert sich GHC über verwaiste Instanzen, zum Beispiel: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Die Typklasse ToSElemgehört nicht mir, sondern wird von HStringTemplate definiert . Jetzt weiß ich, wie...
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...
Gegeben : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Ich möchte Stringeine Instanz erstellen von Fooable: instance Fooable String where toFoo = FooString GHC beschwert sich dann: Illegal instance declaration for `Fooable String'...
Ich versuche zu verstehen, was der Punktoperator in diesem Haskell-Code tut: sumEuler = sum . (map euler) . mkList Der gesamte Quellcode ist unten. Mein Verständnis Der Punktoperator übernimmt die beiden Funktionen sumund das Ergebnis map eulerund das Ergebnis von mkListals Eingabe. Aber sumist...
Ich suche nach wirklich einfachen, leicht verständlichen Erklärungen für Rekursionsschemata und Corecursionsschemata (Katamorphismen, Anamorphismen, Hylomorphismen usw.), für die es nicht erforderlich ist, vielen Links zu folgen oder ein Lehrbuch zur Kategorietheorie zu öffnen. Ich bin sicher,...
Ich habe dieses kleine Stück Haskell geschrieben, um herauszufinden, wie GHC beweist, dass man für natürliche Zahlen nur die geraden halbieren kann: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x ::...
Ich sehe goviel, wenn ich Haskell-Material oder -Quelle lese, aber ich habe mich nie wirklich wohl gefühlt - (ich denke, es hat die negative Konnotation von "goto" in meinem Kopf). Ich habe angefangen, Haskell mit LYAH zu lernen, und dort habe ich die Tendenz zum Verwenden accund stepbeim...
(Ich hoffe, diese Frage ist themenbezogen. Ich habe versucht, nach einer Antwort zu suchen, aber keine endgültige Antwort gefunden. Wenn diese nicht zum Thema gehört oder bereits beantwortet wurde, moderieren / entfernen Sie sie bitte.) Ich erinnere mich, dass ich den halb scherzhaften Kommentar...
Die Standard-Bibliothek Haskell typeclasses MonadPlus, Alternativeund Monoidliefern jeweils zwei Verfahren mit im Wesentlichen gleicher Semantik: Ein leerer Wert: mzero, emptyoder mempty. Eine Bedienungsperson, a -> a -> adie Werte in der typeclass miteinander verbindet: mplus, <|>,...
Wie definiere ich das Äquivalent dieser Funktion (aus learnyouahaskell ) in GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Ohne die Typdeklaration akzeptiert GHCi die Funktionsdefinition, erhält jedoch einen nicht hilfreichen Typ: Prelude Data.List>...
In welchen Situationen sollte liftIOverwendet werden? Wenn ich verwende ErrorT String IO, liftfunktioniert die Funktion zum Aufheben von E / A-Aktionen ErrorTund liftIOerscheint daher überflüssig.
Happstack Lite bricht an mir, weil es Blaze-HTML-Version 0.5 bekommt und Version 0.4 will. Cabal sagt , dass beide Versionen 0.4.3.4 und 0.5.0.0 installiert sind. Ich möchte die 0.5.0.0 entfernen und nur die ältere Version verwenden. Aber cabal hat keinen "Deinstallations" -Befehl, und wenn ich...
Es ist bekannt, dass anwendungsbezogene Funktoren unter Komposition geschlossen sind, Monaden jedoch nicht. Ich hatte jedoch Probleme, ein konkretes Gegenbeispiel zu finden, das zeigt, dass Monaden nicht immer komponieren. Diese Antwort gibt [String -> a]als Beispiel eine Nicht-Monade. Nachdem...
Ich bin neu in Haskell und habe den Fehler "Ich kann keinen unendlichen Typ konstruieren", den ich nicht verstehen kann. Darüber hinaus konnte ich keine gute Erklärung dafür finden, was dieser Fehler überhaupt bedeutet. Wenn Sie also über meine grundlegende Frage hinausgehen und den Fehler...
Ich habe diesen Begriff viel in Blogs über Haskell und funktionale Programmierung gelesen (insbesondere in Sigfpes Blog ), aber ich habe keine Ahnung, was das bedeutet. Ich komme davon, es die meiste Zeit nicht zu wissen, aber ich hätte die Texte wahrscheinlich viel besser verstanden, wenn ich es...
Ich frage mich, ob es eine Möglichkeit gibt, Haskell auf der JVM laufen zu lassen (kompiliert oder interpretiert). Es gibt JHaskell auf Sourceforge, aber dieser scheint leer und tot zu sein. GHC verwendet LLVM als Compiler-Backend. Wäre es eine gute Idee oder möglich, LLVM in Java-Bytecode zu...
Ich möchte in Haskell etwas machen, das so aussieht: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" Offensichtlich ist dies nicht legal, da es keine gibt else. Eine Alternative, an die ich gedacht habe: nop :: IO () nop = sequence_ [] main2 = do s <- getLine if...
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
Bei jedem Containertyp können wir den (elementfokussierten) Reißverschluss bilden und wissen, dass diese Struktur eine Comonad ist. Dies wurde kürzlich in einer anderen Frage zum Stapelüberlauf für den folgenden Typ ausführlich untersucht : data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving...