Haskell hat eine Identitätsfunktion, die die Eingabe unverändert zurückgibt. Die Definition ist einfach: id :: a -> a id x = x Zum Spaß sollte dies also Folgendes ausgeben 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Nach einigen...
Ich bin neu in Haskell und habe nach dem Start ghciversucht: f x = 2 * x und ich erhielt: <interactive>:1:4: parse error on input `=' was ich nicht verstehe. Seltsamerweise hat es vorher gut funktioniert. Ich nehme an, dass ich Haskell falsch konfiguriert habe. Die Neuinstallation von...
Ich beherrsche Haskell nicht wirklich, daher könnte dies eine sehr einfache Frage sein. Welche Sprachbeschränkung lösen Rank2Types ? Unterstützen Funktionen in Haskell nicht bereits polymorphe
Während ich Haskell lerne, habe ich seine Typklasse bemerkt , die eine großartige Erfindung sein soll, die von Haskell stammt. Auf der Wikipedia-Seite zur Typklasse : Der Programmierer definiert eine Typklasse, indem er eine Reihe von Funktions- oder Konstantennamen zusammen mit ihren jeweiligen...
Bewerber komponieren, Monaden nicht. Was bedeutet die obige Aussage? Und wann ist einer dem anderen
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...
Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie durch Bearbeiten dieses Beitrags mit Fakten und Zitaten beantwortet werden kann . Geschlossen vor 2 Jahren . Verbessere diese...
Gibt es einen guten Grund, warum die Art von Prelude.read ist read :: Read a => String -> a anstatt einen MaybeWert zurückzugeben? read :: Read a => String -> Maybe a Wäre letzteres nicht natürlicher, da die Zeichenfolge möglicherweise nicht analysierbar ist, Haskell? Oder sogar eine...
In Kapitel 19 von Real World Haskell scheitern viele Beispiele jetzt an der Änderung von Control.Exception. Das lässt mich denken, dass einige der Dinge in diesem Buch tatsächlich veraltet sind und es nicht mehr wert sind, studiert zu werden, schließlich sind es 6 Jahre. Meine einzige andere...
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 ....
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...
Ich versuche, XRankNTypesin GHCi zu aktivieren . Wie mache ich
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...
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...
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...
Algebraische Datentypen (ADT) in Haskell kann automatisch Instanzen einiger geworden typeclasse s (wieShow,Eq) durch Ableiten von ihnen. data Maybe a = Nothing | Just a deriving (Eq, Ord) Meine Frage ist, wie funktioniert das deriving, dh woher weiß Haskell, wie die Funktionen der abgeleiteten...
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 die...
Ich habe drei Funktionen, die das n-te Element einer Liste finden: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf [] a = Nothing...
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? Was kann...
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 |...