monads

8Hitze

2Antwort

Kann Writer Monad Beispiel von "Lernen Sie ein Haskell" nicht kompilieren

Der folgende Code, der verbatim from LYAH ist, kompiliert nicht. Code- und Kompilierzeitfehler sind unten enthalten. Auf der LYAH-Seite ist der Code ~ 15% auf der Seite, yay emacs browser :) Irgendwel

6Hitze

1Antwort

Verallgemeinerter Newtyp Ableiten

Haskell kann die Instanz für MonadState s in T1 unten aber nicht in T2 ableiten, das jedoch ein sehr ähnlicher Typ ist. Wie soll ich den Code für T2 ändern, damit die Instanz für automatisch abgeleite

6Hitze

1Antwort

eine Funktion Haskell Refactoring, die den Reader Monade verwendet

ich einen Code haben, die Art, wie diese aussieht, den gesamten Code zu ignorieren, die nicht relevant für meine Frage ist: import qualified Control.Monad.Reader as Reader data FooEnv = FooEnv { bar

6Hitze

1Antwort

Haskell - Timing-Out-Berechnungen in der Rand-Monade

Ich möchte zufällige Berechnungen in Haskell mit einem Timeout unter Verwendung der Control.Monad.Random-Bibliothek auswerten. Die folgenden funktioniert gut: ghci> import System.Timeout ghci> import

13Hitze

2Antwort

Gibt es eine Instanz von Monad, aber nicht von MonadFix?

Die Frage ist meist im Titel. Es scheint, wie mfix kann für jede monadischen Berechnung definiert werden, auch wenn sie auseinandergehen könnte: mfix :: (a -> m a) -> m a mfix f = fix (join . liftM f

14Hitze

1Antwort

Warum kann es keine Instanz von MonadFix für die Continuation Monade geben?

Wie können wir beweisen, dass the continuation monad keine gültige Instanz von MonadFix hat?

10Hitze

1Antwort

Testen Monadic Code

Ich lerne Haskell durch die Arbeit durch Haskell course by Brent Yorgey. Ich habe gerade die Monad-Sektion erreicht, und während ich denke, dass ich (endlich) ein gutes Verständnis dafür habe, wie man

16Hitze

2Antwort

Was sind die Unterschiede zwischen Layern und erweiterbaren Effekten?

Die Bibliothek extensible effects und die Bibliothek layers scheinen die gleichen Ziele zu haben (so dass es leicht ist, verschiedene Effekte zusammen zu komponieren). Beide sprechen über die Vorteile

10Hitze

1Antwort

(Wie) kann ich diese monadische Bindung tail-rekursiv machen?

Ich habe diese Monade Desync genannt - [<AutoOpen>] module DesyncModule = /// The Desync monad. Allows the user to define in a sequential style an operation that spans /// across a bounded

12Hitze

1Antwort

Was ist der Typ von Return 5 in Haskell, wenn kein Kontext angegeben wird?

In this question fragt der OP, was der Typ des Ausdrucks return 5 ist und die Antwort bereits in dieser Frage gegeben worden: es ist eine allgemeine Art, wie man durch die Eingabe :t return 5 in den