Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in free-monad

Defining Free Bind in a way that is compatible with the Free Monad

haskell category-theory free-monad

Proving the Functor laws for free monads; am I doing it right?

haskell monads proof free-monad

Injecting Indexed Functor into Functor Coproduct

haskell dependent-type free-monad

Syntax trees: free monad + Bound.Scope

haskell abstract-syntax-tree free-monad

Applying Semantics to Free Monads

haskell functional-programming category-theory free-monad

Understanding the Fix datatype in Haskell

haskell monads free-monad fixpoint-combinators

How do I use the Church encoding for Free Monads?

haskell free-monad church-encoding scott-encoding

How do I compare a program specified as a free monad against a description of expected instructions?

haskell types interpreter free-monad

Is IO a Free Monad?

haskell io monads free-monad

Applicative vs. monadic combinators and the free monad in Scalaz

scala stack-overflow scalaz free-monad trampolines

Writing the Identity monad in terms of Free

haskell monads free-monad

Every free monad over a ??? functor yields a comonad?

haskell monads category-theory free-monad comonad

Navigating and modifying ASTs built on the Free monad in Haskell

haskell abstract-syntax-tree free-monad

The fixed point functors of Free and Cofree

haskell category-theory free-monad fixpoint-combinators

Is there a Codensity MonadPlus that asymptotically optimizes a sequence of MonadPlus operations?

haskell monads category-theory free-monad monadplus

Applicative instance for free monad

haskell applicative free-monad

How to get the “inflexible semantics of monad transformers” using extensible effects?

haskell functional-programming monads monad-transformers free-monad

Structurally enforced Free Alternative, without left distributivity

haskell category-theory free-monad alternative-functor abstract-algebra

Is there a generalization of these Free-like constructions?

haskell category-theory free-monad

Free Monad of a Monad

haskell free-monad
« Newer Entries Older Entries »