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 |...
Aktuelles Verhalten Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an...
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Warum haben wir drei verschiedene Funktionen, die im Wesentlichen dasselbe
Ich habe gerade ein neues Haskell-Projekt gestartet und wollte von Anfang an einen guten Test-Workflow einrichten. Es scheint, dass Haskell viele exzellente und einzigartige Testwerkzeuge und viele verschiedene Möglichkeiten zur Integration hat. Ich habe untersucht: HUnit Schneller...
Gibt es in reinen Funktionssprachen wie Haskell einen Algorithmus, um die Umkehrung einer Funktion (Bearbeiten) zu erhalten, wenn sie bijektiv ist? Und gibt es eine bestimmte Möglichkeit, Ihre Funktion so zu programmieren, wie sie
In F # ist die Verwendung des Pipe-Forward-Operators |>ziemlich häufig. In Haskell habe ich jedoch nur die Funktionszusammensetzung gesehen (.), die verwendet wurde. Ich verstehe, dass sie verwandt sind , aber gibt es einen sprachlichen Grund, warum Pipe-Forward in Haskell nicht verwendet wird,...
Ich bin nicht sicher, was dieses Problem verursacht, aber in einem Projekt, das ich erstelle, benötigt der Compiler Stunden, um ein Modul zu kompilieren. Die Gesamtgröße meiner Codebasis beträgt 352 KB, aber keines der Module ist größer als 10 KB. Ich verwende einen nativen Port, aber er ist sehr...
Wie würde man diesen Teil des C-Codes in eine .chs-Datei codieren, damit c2hs ihn in etwas relativ Nettes verwandeln kann? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT...
Beim Versuch, ein Problem in meinem Programm zu debuggen (2 Kreise mit gleichem Radius werden mit Gloss in unterschiedlichen Größen gezeichnet *), bin ich auf eine seltsame Situation gestoßen. In meiner Datei, die Objekte verarbeitet, habe ich die folgende Definition für a Player: type Coord =...
Was ist indizierte Monade und was ist die Motivation für diese Monade? Ich habe gelesen, dass es hilft, die Nebenwirkungen im Auge zu behalten. Aber die Typensignatur und Dokumentation führt mich nirgendwo hin. Was wäre ein Beispiel dafür, wie es helfen kann, Nebenwirkungen im Auge zu behalten...
Ich versuche und schaffe es nicht, die traverseFunktion zu nutzen Data.Traversable. Ich kann den Punkt nicht erkennen. Kann mir jemand bitte einen imperativen Hintergrund erklären, da ich einen imperativen Hintergrund habe? Pseudocode wäre sehr dankbar. Vielen
Die absurdFunktion in Data.Voidhat die folgende Signatur, wobei Voidder logisch unbewohnte Typ von diesem Paket exportiert wird: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Ich kenne genug Logik, um...
Wie kann ich analog zu diesem C-Code auf eine Liste nach Index in Haskell zugreifen? int a[] = { 34, 45, 56 }; return
Überall, wo ich es versucht habe map, fmaphat es auch funktioniert. Warum hatten die Schöpfer von Haskell das Bedürfnis nach einer mapFunktion? Könnte es nicht einfach das sein, was derzeit bekannt ist fmapund fmapaus der Sprache entfernt werden
Ich bin neu in der funktionalen Programmierung und habe kürzlich bei Learn You a Haskell gelernt , aber als ich dieses Kapitel durchging , blieb ich beim folgenden Programm hängen: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++...
Beim Lesen dieses klassischen Papiers bin ich auf Paramorphismen fixiert. Leider ist der Abschnitt ziemlich dünn und die Wikipedia-Seite sagt nichts. Meine Haskell-Übersetzung lautet: para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where h [] = base h (x:xs) = f x xs...
Welche Möglichkeiten gibt es, wenn überhaupt, Offline-Dokumente für Haskell-Kernbibliotheken (und möglicherweise mehr) abzurufen? Manchmal bringe ich meinen Laptop zum Café, wo es kein WLAN gibt, und es wäre schön, etwas wie Hoogle zu haben, aber für den
Ich versuche, die Ghci-Typanzeigen für meine Bibliotheken so intuitiv wie möglich zu gestalten, aber ich habe viele Schwierigkeiten, wenn ich erweiterte Typfunktionen verwende. Angenommen, ich habe diesen Code in einer Datei: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE...
Ist es möglich, ein Modul in Haskell zu schreiben, das ein Modul erneut exportiert und alles, was darin sichtbar ist , exportiert ? Betrachten wir folgendes Modul: module Test where import A f x = x Dieses Modul exportiert alles , was darin definiert ist, also exportiert es f, importiert jedoch...
Ich hatte einen Daemon erstellt, der eine sehr primitive Form von ipc(Telnet und Senden eines Strings mit bestimmten Wörtern in einer bestimmten Reihenfolge) verwendete. Ich habe es herausgeschnappt und verwende es jetzt JSON, um Nachrichten an einen YesodServer weiterzuleiten . Es gab jedoch...