New posts in monads

Verifying that an adjunction induces a monad structure

category-theory adjoint-functors monads

Is there a monad that doesn't have a corresponding monad transformer (except IO)?

haskell monads monad-transformers category-theory

Why is the bind operator (>>=) defined as it is?

haskell bind monads

What are the benefits of applicative parsing over monadic parsing?

haskell monads parsec applicative

What are monadic bind and monadic return for C++23 optional?

c++ monads stdoptional c++23

Monads vs. Arrows

language-agnostic haskell functional-programming monads arrows

The Pause monad

haskell monads coroutine monad-transformers free-monad

What are the algebras of the double powerset monad?

category-theory boolean-algebra lattice-orders topos-theory monads

Can anyone explain Monads? [duplicate]

haskell functional-programming monads terminology

How to convert A[B[C]] to B[A[C]] if A and B are monads?

scala monads scalaz

"Monad transformers more powerful than effects" - Examples?

functional-programming monads effects idris

Monads as adjunctions

haskell monads functor category-theory

How and why does the Haskell Cont monad work?

haskell monads continuations

How does the ST monad work?

haskell monads

Monads with Java 8

java java-8 monads optional

Why are Promises Monads?

javascript functional-programming monads es6-promise functor

How to extract value from monadic action

haskell monads comonad

Continuations in mathematics: nice examples?

abstract-algebra category-theory model-theory monads

Theory of promonads

category-theory monoidal-categories monads

Difference between State, ST, IORef, and MVar

variables haskell monads state-monad ioref