Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Why does Tuple not have a Monad instance?

haskell tuples monads

runST with Hindley-Milner type system

How to encode actions that take monadic arguments with free (or freer) monads?

How do I implement Reader using free monads?

haskell monads free-monad

Writing an assembler in Haskell - mapM with state?

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

Generating all the combinations of a set of boolean variables in Haskell

Monads and Decorator pattern

java clojure monads

The reverse state monad in OCaml

State and IO Monads

How is a for expression with multiple monads translated in scala?

scala monads

Monads: Determining if an arbitrary transformation is possible

haskell monads

What advantages does scala.util.Try have over try..catch?

scala try-catch monads codacy

Can I transform this asynchronous java network API into a monadic representation (or something else idiomatic)?

scala monads scalaz

Is there a monadic version of Arbitrary to use with QuickCheck?

Haskell monads: What is the name for what `(>>=)` and `(=<<)` do?

haskell monads

Experience reports using indexed monads in production?

Nested States in Haskell

Does Haskell have foldlM'?

haskell monads fold

Can I reflect messages out of a Haskell program at runtime?

haskell reflection monads