Wie der Titel der Frage zeigt, möchte ich wissen, was Levity-Polymorphismus ist und was seine Motivation ist. Ich weiß, dass diese Seite einige Details enthält, aber die meisten Erklärungen gehen mir über den Kopf. :) :) Obwohl diese Seite etwas freundlicher ist, kann ich die Motivation...
Ich brauche eine Funktion , die zwei bekommt Ints ( aund b) und kehrt A/Bals Int. Ich bin sicher, dass A/Bdas immer eine ganze Zahl sein wird. Hier ist meine Lösung: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x / y) Aber wollen...
Ich brauche Hilfe, um die Verwendung der drei Haskell-Funktionen zu verstehen try ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) catch ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) handle ( Control.Exception.handle :: Exception e...
In Real World Haskell , Kapitel 4. zur funktionalen Programmierung : Schreibe Foldl mit Foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a x) Der obige Code hat mich sehr verwirrt, und jemand namens...
Könnte mir jemand Funktionslinsen erklären? Es ist ein überraschend schwieriges Thema für Google und ich habe keine Fortschritte gemacht. Ich weiß nur, dass sie ähnliche Get / Set-Funktionen bieten wie in OO.
Während die allgemeine Meinung der Haskell-Community zu sein scheint, dass es immer besser ist, Textstatt zu verwenden String, Stringverwirrt mich die Tatsache, dass die APIs der meisten gepflegten Bibliotheken immer noch orientiert sind, zum Teufel. Auf der anderen Seite gibt es bemerkenswerte...
Während ich Haskell lerne, sehe ich, dass im realen Code viele Spracherweiterungen verwendet werden. Sollte ich als Anfänger lernen, sie zu benutzen, oder sollte ich sie um jeden Preis vermeiden? Ich sehe, dass es die Kompatibilität mit Haskell 98 unterbricht und den Code auf so ziemlich nur GHC...
Ich bin ein großer Fan von Stephen Wolfram, aber er scheut sich definitiv nicht, sein eigenes Horn zu betätigen. In vielen Referenzen lobt er Mathematica als ein anderes symbolisches Programmierparadigma. Ich bin kein Mathematica-Benutzer. Meine Fragen sind: Was ist diese symbolische...
Ich habe über Monaden in der Kategorietheorie gelesen. Eine Definition von Monaden verwendet ein Paar benachbarter Funktoren. Eine Monade wird durch eine Rundreise mit diesen Funktoren definiert. Anscheinend sind Zusätze in der Kategorietheorie sehr wichtig, aber ich habe keine Erklärung für...
Ich bin neu in Haskell und lese über Funktoren und anwendungsbezogene Funktoren. Ok, ich verstehe Funktoren und wie ich sie verwenden kann, aber ich verstehe nicht, warum anwendbare Funktoren nützlich sind und wie ich sie in Haskell verwenden kann. Können Sie mir anhand eines einfachen Beispiels...
Schönen Tag. Das einzige, was ich jetzt an Haskell hasse, ist die Menge an Paketen für die Arbeit mit Strings. Zuerst habe ich native Haskell- [Char]Strings verwendet, aber als ich versuchte, Hackage-Bibliotheken zu verwenden , ging ich in endlosen Konvertierungen völlig verloren. Jedes Paket...
Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten .
So wird die Cont-Monade definiert: newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Monad (Cont r) where return a = Cont ($ a) m >>= k = Cont $ \c -> runCont m $ \a -> runCont (k a) c Können Sie erklären, wie und warum dies funktioniert? Was macht es?...
Ich bin neu in Haskell und arbeite an Unit-Tests, finde das Ökosystem jedoch sehr verwirrend. Ich bin verwirrt über die Beziehung zwischen HTF und HUnit. In einigen Beispielen sehen Sie, wie Sie Testfälle einrichten, in eine Testliste exportieren und dann in ghci mit ausführen runTestsTT(wie in...
Ich spiele mit Anfänger Haskell herum und wollte eine durchschnittliche Funktion schreiben. Es schien das Einfachste auf der Welt zu sein, oder? Falsch. Es scheint, als ob das Typensystem von Haskell es dem Durchschnitt verbietet, an einem generischen numerischen Typ zu arbeiten - ich kann ihn...
Hinweis für andere potenzielle Mitwirkende: Bitte zögern Sie nicht, abstrakte oder mathematische Notationen zu verwenden, um Ihren Standpunkt zu verdeutlichen. Wenn ich Ihre Antwort unklar finde, werde ich um Aufklärung bitten, aber ansonsten können Sie sich auf bequeme Weise ausdrücken. Um es...
Ich bin verwirrt darüber, wie der Haskell-Compiler manchmal Typen ableitet, die weniger polymorph sind als erwartet, beispielsweise wenn punktfreie Definitionen verwendet werden. Es scheint, dass das Problem die "Monomorphismus-Einschränkung" ist, die bei älteren Versionen des Compilers...
Könnte jemand einen Link zu einem guten Codierungsstandard für Haskell bereitstellen? Ich habe dies und das gefunden , aber sie sind alles andere als umfassend. Ganz zu schweigen davon, dass das HaskellWiki "Edelsteine" wie "Klassen mit Sorgfalt verwenden" und "Definieren symbolischer Infix-IDs...
Mir wurde gesagt, dass Sie Haskell-Dateien interpretieren können (was meiner Meinung nach bedeutet, dass sie wie Ruby / Python / Perl funktionieren). Ich kann die Befehlszeilenoption auf GHC dafür jedoch nicht finden. Es möchte immer meine Datei kompilieren. Ich habe mir auch GHCi angesehen, aber...
Ich verstehe, dass die ST-Monade so etwas wie ein kleiner Bruder von IO ist, der wiederum die Staatsmonade mit zusätzlicher RealWorldMagie ist. Ich kann Staaten Bild und ich kann vorstellen , dass Real World irgendwie in IO gesetzt wird, aber jedes Mal , wenn ich eine Art Unterschrift schreiben...