Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

How to use a Monad Transformer when Disjunction is the outermost container?

Logging in functional programming with Java

Concurrent data access as in Haxl and Stitch

K / Kestrel Combinator for monads?

Why is a monad prototype required for Douglas Crockford's monad demo code?

javascript prototype monads

Why does this console log twice?

MonadTransControl instance for a custom monad

How does the Delay exactly works in continuation monad to prevent stackoverflow?

How do I map and concatenate FilePaths?

haskell monads io-monad

Structuring a dynamic list of reflex-dom widgets/events according to numeric user input

haskell monads reflex

Widen types in ocaml

Nothing in MaybeT monad: more concise way?

haskell monads

Use the Haskell monad "do" notation to define a syntax tree

f, g, h :: Kleisli ((->) e) a b <=> f >>> (g &&& h) = (f >>> g) &&& (f >>> h)?

Why can't there be an instance of MonadFix for the continuation monad?

Interpreter auto-selection via Free Monad and Coproduct

scala haskell monads

Comonad example in Scala

scala monads scalaz comonad

Scala equivalent of Haskell's do-notation (yet again)

scala haskell monads

Is the Writer Monad effectively the same as the State Monad?

How can the continuation monad be expressed using the free monad?