Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in free-monad

Structurally enforced Free Alternative, without left distributivity

Is there a generalization of these Free-like constructions?

Free Monad of a Monad

haskell free-monad

Generate optparse-applicative parser from free alternative functor

What was wrong with Control.MonadPlus.Free?

Combining Free types

haskell monads free-monad

Visualizing the Free Monad

haskell monads free-monad

What monads can be expressed as Free over some functor?

when to use CPS vs codensity vs reflection without remorse in Haskell

Difference between free monads and fixpoints of functors?

Does the free monad always exist?

When would I want to use a Free Monad + Interpreter pattern?

haskell monads dsl free-monad

What are some motivating examples for Cofree CoMonad in Haskell?

The Pause monad

What are free monads?