io-monad

0Hitze

2Antwort

Ich analysiere eine Sprache und ich möchte Syntax zu $include andere Dateien während der Analyse haben. Mein Code: import Text.ParserCombinators.Parsec import Text.Parsec.Prim (parserZero) import Te

4Hitze

1Antwort

Rollback IO-Aktion

Ich habe eine sehr einfache Abstraktion für den Umgang mit einer Folge von IO-Aktionen, die (teilweise) zurückgesetzt werden können, dh wenn eine Aktion eine Datei schreibt, würde Rollback diese Datei

11Hitze

2Antwort

IO-Monade verhindert Kurzschlüsse von eingebetteten MapM?

Etwas durch den folgenden Code mystifiziert. In der Nicht-Spielzeug-Version des Problems versuche ich eine monadische Berechnung in einer Monade durchzuführen, deren Werte nur innerhalb von IO konstru

1Hitze

2Antwort

In welchem Sinne ist IO Monade speziell (wenn überhaupt)?

Nach dem Eintauchen in Monaden verstehe ich, dass sie ein allgemeines Konzept sind, um Berechnungen innerhalb eines Kontexts (Versagen, Nicht-Determinismus, Zustand usw.) zu verketten und es gibt kein

16Hitze

2Antwort

Warum kann Haskell nicht dazu verleitet werden, IO-Operationen durch strenge Auswertung auszuführen?

Ich lerne nur Haskell und IO Monaden. Ich frage mich, warum sollte dies nicht das Programm zur Ausgabe erzwingen „hallo“ und „bye“: second a b = b main = print ((second $! ((print "hi") >>= (\r -> re

8Hitze

1Antwort

Ist es möglich, die IO Monade von Haskell in Clojure zu tun?

Ich habe mir die algo.monads und fluokitten Dokumentation angesehen. Ich habe auch Monad Blog-Einträge von Jim Duey, Konrad Hinsen und Leonardo Borges gelesen. Die nächstgelegene ich finden kann, ist

8Hitze

1Antwort

Was sind Tower [A] und IvoryTower in Scalaz?

Wenn ich scalaz.effect.IO Quellcode sah, stellte ich fest, dass es ein Verfahren apply mit der folgenden Signatur hat: sealed trait IO[A] { def apply(rw: Tower[IvoryTower]): Trampoline[(Tower[Ivo