Ich lerne Haskells Bewerber. Es scheint mir (ich liege wahrscheinlich falsch), dass diepure Funktion nicht wirklich benötigt wird, zum Beispiel: pure (+) <*> [1,2,3] <*> [3,4,5] kann geschrieben werden als (+) <$> [1,2,3] <*> [3,4,5] Kann jemand den Nutzen erklären, den die...
Vorschläge (P -> Q) -> QundP \/ Q sind gleichwertig. Gibt es eine Möglichkeit, diese Gleichwertigkeit in Haskell zu bezeugen: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) -> b) -> Either a...
Diese Frage ist nicht subjektiv. In dem Buch, auf das verwiesen wird, wird ein sehr spezifisches Verb verwendet, und ich würde gerne verstehen, was die Implikation dieser Formulierung bedeutet, weil ich befürchte, etwas falsch zu verstehen. Aus Learn You a Haskell ist der folgende Absatz der...
Diese Frage ist eine theoretische Frage zu Haskell-Funktionen, die Argumente jeglicher Art annehmen können. Gibt es einen Unterschied zwischen der Funktionsweise mit den Typensignaturen von a -> b -> a und c -> a -> c instanziiert werden? Jede Hilfe wird
Mir scheint, dass Sie immer Funktionsargumente übergeben können, anstatt eine Typklasse zu verwenden. Zum Beispiel, anstatt eine Gleichheitstypklasse zu definieren: class Eq a where (==) :: a -> a -> Bool Die Verwendung in anderen Funktionen zur Angabe des Typarguments muss eine Instanz...
Als Übung schreibe ich einen Parser für Haskell von Grund auf neu. Bei der Erstellung des Lexers habe ich die folgenden Regeln im Haskell 2010-Bericht beachtet : Ziffer → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → beliebiges Unicode-Dezimalstellen- Oktit → 0| 1| … | 7 hexit → Ziffer | A|...
Viele Arten von Optiken haben eine Van-Laarhoven-Darstellung. Beispielsweise kann ein LensTyp Lens s t a b wie folgt dargestellt werden: Functor f => (a -> f b) -> s -> f t In Traversalähnlicher Weise kann a auf ähnliche Weise dargestellt werden, wobei die FunctorEinschränkung...
Ich studiere derzeit Haskell und versuche, ein Projekt zu verstehen, das Haskell zur Implementierung kryptografischer Algorithmen verwendet. Nachdem ich Learn You a Haskell for Great Good online gelesen habe , beginne ich, den Code in diesem Projekt zu verstehen. Dann stellte ich fest, dass ich...
Bei der Berechnung IO (IO ())werden beide (IO ())und ()berechnet, warum also? main :: IO (IO ()) main = print <$> (print "Hello, World!") drucken "Hello, World!" nicht IO "Hello, World!" -- ?? "Hello,
Real World Haskell, Kapitel 4, Seite 98 des Drucks fragt, ob wordsmit Falten implementiert werden kann, und dies ist auch meine Frage: Ist es möglich? Wenn nicht, warum? Wenn ja, wie? Ich kam auf Folgendes, das auf der Idee basiert, dass jedem Nicht-Leerzeichen das letzte Wort in der Ausgabeliste...
In meinem Haskell-Projekt stack runwird Folgendes angezeigt , es wird jedoch weiterhin ausgeführt. Welche Warnung ist das? Wie kann ich es loswerden? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but...
Ich habe eine Übung, in der ich einen Typ für die Darstellung einer Liste mit 0 bis 5 Werten definieren muss. Zuerst dachte ich, ich könnte das rekursiv so lösen: data List a = Nil | Content a (List a) Aber ich denke nicht, dass dies der richtige Ansatz ist. Können Sie mir bitte einen Denkanstoß...
Ich war in der eingeschränkten Abteilung der Haskell-Bibliothek unterwegs und fand diese beiden abscheulichen Zaubersprüche: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal...
Dies ist der Code, auf den ich irgendwo gestoßen bin, aber ich möchte wissen, wie das funktioniert: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Ausgabe: findIndices (== 0) [1,2,0,3,0] == [2,4] , wobei...
Die seasonFunktion verwendet algebraische Funktionen, aber ich denke, der Code wiederholt sich. Wie mache ich es so kurz wie möglich? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter...
Warum gibt GHCi unten eine falsche Antwort? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 UPDATE Ich würde Haskells (^) Funktion wie folgt implementieren. powerXY ::...
In ghci, wenn ich tippe :t (-) Um den Typ von herauszufinden (-), wird zurückgegeben (-) :: Num a => a -> a -> a Wenn ich jedoch schreibe, gibt -1haskell eine Zahl zurück, was zu bedeuten scheint, dass dies (-)vom Typ ist Num a => a -> a. Wie kann es (-)scheinbar zwei...
Wie der Titel schon sagt: Welche Garantien gibt es für die Bewertung einer Haskell-Funktionsrückgabeeinheit? Man könnte meinen, dass in einem solchen Fall keine Auswertung erforderlich ist. Der Compiler könnte alle derartigen Aufrufe durch einen unmittelbaren ()Wert ersetzen, es sei denn, es liegen...
Ich schreibe ein Zeichenpaket mit einigen Teilen und habe Operatoren und Datentypen, die überall verteilt sind. Ich möchte jedoch nicht, dass die Benutzer jedes Mal die entsprechenden Module hinzufügen, da dies ziemlich chaotisch wäre, zum Beispiel hätte ich eine PointKlasse, eine MonoidRolle und...
As State Monad kann in Produkt (Left - Functor) und Reader (Right - Representable) zerlegt werden. Gibt es eine Möglichkeit, die Fortsetzungsmonade zu faktorisieren? Der folgende Code ist mein Versuch, bei dem keine Überprüfung durchgeführt wird -- To form a -> (a -> k) -> k {-# LANGUAGE...