Was ist die richtige Monade oder das richtige Sequenzverständnis für Karte und Übertragungsstatus?

Ist es möglich, "(Applicative m) => Applicative (StateT s m)" zu implementieren?

Ich arbeite gerade daran

Wie kann ich diesen einfachen Code mit der Statusmonade schreiben?

Ich bin ein Anfänger bei Haskell und bin auf eine Situation gestoßen, in der ich die Staatsmonade benutzen möchte. (Zumindest denke ich, dass ich das gerne verwenden würde.) Es gibt eine Million Tutorials für die staatliche Monade, aber alle ...

Staatsmonade, Folgen von Zufallszahlen und monadischem Code

Ich versuche, die Staatsmonade zu erfassen, und zu diesem Zweck wollte ich einen monadischen Code schreiben, der mit einem linearen Kongruenzgenerator eine F...

Kann ich in F # verschiedene Workflows gleichzeitig verwenden?

Ich muss meinen Status weitergeben, damit ich Funktionen mit dem Arbeitsablauf verknüpfen kann. Gibt es eine Möglichkeit für zwei Workflows, denselben Kontex...

StateT mit InputT kombinieren

Es ist eine Fortsetzung vondiese Frag [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Ich versuche, @ zu kombiniershell von @ ErikR'sAntworte [https://stackoverflow.com/a/37909749/165753] in meinemInputT ...

Aufräumen von Monaden - Verwandeln der Anwendung eines Monadentransformators in eine neuartige Monade

Ich versuche, z.ExceptT a (StateT A M), für einen konkreten TypA und MonadeM, und wickeln Sie sie in meine neuen benutzerdefinierten Monaden. uerst habe ich festgestellt, dassStateT A M taucht oft in anderen Zusammenhängen auf und so habe ich ...

Breitensuche mit Staatsmonade in Haskell

or kurzem habe ich eine Frage zum Erstellen eines DFS-Baums aus Graph in Stackoverflow gestellt und festgestellt, dass dies einfach mit State Monad implementiert werden kan DFS in ...

Verwaltungsstaat - Kapitel 3 der SICP

Pure funktionaler Zufallszahlengenerator - Statusmonade

Das Buch 'Funktionale Programmierung in Scala 'zeigt ein Beispiel für einen reinen funktionalen Zufallszahlengenerator wie folgt trait RNG { def nextInt: (Int, RNG) } object RNG { def simple(seed: Long): RNG = new RNG { def nextInt = { val seed2 ...