monads

8Hitze

1Antwort

Man kann eine freie Monade in jede andere Monade übersetzen, aber bei einem Wert vom Typ Free f x möchte ich den gesamten Baum drucken, nicht jeden Knoten des erzeugten AST auf einen anderen Knoten in

7Hitze

2Antwort

Gibt Backwards eine Monad-Instanz zu?

Ich habe dies nur auf Haskell-Cafe gefragt, aber ich denke, ich könnte auch hier fragen. Ist die folgende Monad Instanz für Backwards m gültig? {-# Language RecursiveDo #-} import Control.Applicativ

30Hitze

1Antwort

Können Sie `Comonads` basierend auf` Monaden` definieren?

Okay, also lassen Sie uns sagen, dass Sie die Art haben newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Wie sich herausstellt, wenn f ein Comonad ist, Dual f ist eine Monade (Spaß Übung). F

9Hitze

1Antwort

Wie Aktionen zu kodieren, die monadische Argumente mit frei nehmen (oder frei) Monaden?

meisten monadischen Funktionen nehmen reine Argumente und geben einen monadischen Wert. Aber es gibt ein paar, die auch monadischen Argumente benötigen, beispielsweise: mplus :: (MonadPlus m) => m a -

6Hitze

3Antwort

Mit Monaden kann verbunden werden definiert in Bezug auf binden?

In Haskell sind Monaden durch die Funktionen return und bind definiert, wobei return den Typ a -> m a und bind den Typ m a -> (a -> m b) -> m b hat. Es wurde vorher darauf hingewiesen, monads can also

6Hitze

1Antwort

Verkettet if/else im IO Monad

Ich frage mich, ob es eine idiomatische Möglichkeit gibt, Steuercode ähnlich wie verkettete if/else-Anweisungen in einer imperativen Sprache in der IO-Monade zu schreiben. So in einer Sprache wie Pyth

13Hitze

1Antwort

Wie kann ich in verschachtelten Monaden sauber arbeiten?

Ich schreibe einen Dolmetscher für eine kleine Sprache. Diese Sprache unterstützt die Mutation, so dass ihr Evaluator für alle Variablen einen Store verfolgt (wobei type Store = Map.Map Address Value,

6Hitze

1Antwort

Lift Entweder zu Exceptt automatisch

Lassen Sie uns sagen, ich habe diese (wohl verleiten) Stück Code rumliegen: import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = do

5Hitze

1Antwort

Warum ist Free nicht Monad Instanz in Scalaz 7.1.5?

Da Free in Scalaz 7.1.5 keine Monad-Instanz ist, kann ich keine sinnvolle Methode verwenden, die in Applicative, Apply usw. definiert ist. /* ref - http://tpolecat.github.io/assets/sbtb-slides.pdf */

14Hitze

2Antwort

Mix and Match Stateful Berechnungen innerhalb des Staates Monade

Der Zustand meines Programms von drei Werten besteht, a, b und c, von Typen A, B und C. Verschiedene Funktionen benötigen Zugriff auf verschiedene Werte. Ich möchte Funktionen mit der State Monade sch