monadfix

6Hitze

2Antwort

Eine einfache Frage, ich hoffe: Das binary Paket definiert zwei Typen, Get and Put. Das erstere ist im Wesentlichen eine staatliche Monade, und das letztere ist im Wesentlichen ein Schriftsteller. Sow

16Hitze

1Antwort

Fehler in der Implementierung von Data.Map?

Ich bin auf etwas gestolpert, das ich bin Raten ist ein Fehler in Data.Map, aber das ist auch möglicherweise ein Fehler in meinem Haskell Wissen. Hoffe, jemand kann klären, was es ist :) Bitte Referen

19Hitze

2Antwort

Cont Verwenden von Werten aus der Zukunft zu erwerben und die Vergangenheit

Ich bin ein Gehirnfick Dolmetscher in Haskell zu schreiben, und ich kam mit dem, was ich eine sehr interessante Beschreibung eines Programms zu sein glauben: data Program m = Instruction (m()) (Progra

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

MonadFix in strenger Sprache

Ich arbeite an Camlp4-Erweiterung für Haskell-Do-Notation in Ocaml, und versuchen herauszufinden, wie GHC rekursive Do-Bindungen (aktiviert mit -XDoRec) kompiliert. Ich frage mich, ob es für monadisch

5Hitze

2Antwort

MonadFix Beispiel für []

Die Instanz ist definiert als instance MonadFix [] where mfix f = case fix (f . head) of [] -> [] (x:_) -> x : mfix (tail . f) Aber ich bin es nicht die intuitive Bedeutung dahint