Programmierung monads

1

Was kann ich mit callCC tun, was mit cont nicht möglich ist?

Ich habe wirklich große Probleme damit, callCC zu verstehen. Ich bekomme die Kraft von Fortsetzungen und habe das Konzept in einigen meiner Projekte verwendet, um coole Konzepte zu erstellen. Aber ich musste nie etwas mit größeren Fähigkeiten als verwenden cont :: ((a->r)->r)-> Cont r a. Nachdem ich es benutzt habe, …

9 haskell functional-programming monads

1

Gibt es einen Nichtidentitäts-Monadenmorphismus M ~> M, der in M monadisch natürlich ist?

Es ist bekannt, dass natürliche Transformationen mit Typensignatur a -> a Identitätsfunktionen sein müssen. Dies folgt aus dem Yoneda-Lemma, kann aber auch direkt abgeleitet werden. Diese Frage verlangt nach der gleichen Eigenschaft, aber nach Monadenmorphismen anstelle natürlicher Transformationen. Betrachten Sie Monadenmorphismen M ~> Nzwischen Monaden. (Dies sind natürliche Transformationen M …

8 haskell monads category-theory

1

Ist jede alternative Monade filterbar?

Die Kategorie der Mengen ist sowohl kartesisch monoidal als auch kokartesisch monoidal. Die Arten der kanonischen Isomorphismen, die diese beiden monoidalen Strukturen bezeugen, sind nachstehend aufgeführt: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: …

8 haskell filter monads functor category-theory

1

Haskell - Automatische Monadeninstanz

Ich versuche, meinen eigenen Datentyp zu erstellen, der Teil der Monad-Klasse sein wird, aber newtype Container a = Container a deriving Monad gibt mir diesen Fehler: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough * In the newtype declaration …

8 haskell instance monads newtype

1

Warum sind ArrowApply und Monads im Gegensatz zu Arrow und Applicative gleichbedeutend mit gegenseitigem Nachgeben?

Hier ist der SO-Beitrag, auf den ich mich beziehen werde .Außerdem werde ich in dieser Frage dieselben Schnipsel wie das OP verwenden, um die Materialien nicht zu trennen . Es ist allgemein bekannt, dass eine ArrowApplyInstanz eine Monade ergibt und umgekehrt: newtype ArrowMonad a b = ArrowMonad (a () b) …

8 haskell monads applicative category-theory arrows

3

Warum wird FunctionalDependency zum Definieren von MonadReader benötigt?

Ich habe gerade die Definition der Klasse verstanden MonadReader class Monad m => MonadReader r m | m -> r where ... Nachdem ich das Dokument der funktionalen Abhängigkeit in Haskell gelesen habe, kann ich jetzt verstehen, dass | m -> rangegeben wird, dass die Typvariable reindeutig von bestimmt wird …

8 haskell monads ghc type-systems

Als «monads» getaggte Fragen