Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

What are freer monads?

Is the `Monad ((,) w)` instance anywhere standard?

haskell monads

Are all differentiable types Monads

haskell monads zipper deriving

Function composition, Kleisli arrow, and Monadic laws

Is the composition of an arbitrary monad with a traversable always a monad?

haskell monads

Haskell: How is join a natural transformation?

Visualizing the Free Monad

haskell monads free-monad

Using Cont to acquire values from the future and the past

What do you call the data wrapped inside a monad?

Delimiting the IO monad

haskell io monads

How do I combine monads in Haskell?

Unlike a Functor, a Monad can change shape?

haskell monads

How to convert this map/flatMap into a for comprehension in Scala?

How does ap fromMaybe compose?

haskell monads

More fun with applicative functors

haskell monads applicative

Translate from monad to applicative

haskell monads applicative

Haskell syntax for a case expression in a do block

haskell syntax monads

Scala IO monad: what's the point?

Can someone explain to me why the app function of ArrowApply makes them as powerful as monads?

Must mplus always be associative? Haskell wiki vs. Oleg Kiselyov

haskell monads monadplus