Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Explanation of Monad laws in F#

f# monads

lift Either to ExceptT automatically

How are Scala Futures chained together with flatMap?

scala monads future

Why is "bind" written as >>= in Haskell Monads?

haskell monads

How to put mutable Vector into State Monad

continuations as meaningful comprehensions

Intuition for "run" function of monads

Monad's associativity rule in haskell

What can we do with Alternative but cannot do with Monoid?

Do-notation and the list monad

Execution order with (>>=) not what I expected

haskell monads do-notation

How to use std::optional in C++

What effects are modeled by the stream (infinite list) monad?

list haskell stream monads

Is mapM in Haskell strict? Why does this program get a stack overflow?

Function as an Instance of Monad

haskell monads

Converting Monad notation to Arrow notation

haskell monads arrows

Is do-notation specific to "base:GHC.Base.Monad"?

haskell monads ghc

Automatic lifting of infix operators to monadic infix operators

Unsequence Monad function within Haskell

Maybe monad in Python with method chaining