Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Does the function monad really offer something more than the function applicative functor? If so, what?

Is there any way to use IO Bool in if-statement without binding to a name in haskell?

haskell monads

Restricting a monad to a type class

haskell types monads typeclass

Working on permuted monad transformer stack

Extracting a Maybe value in IO

Is F#'s implementation of monads unique with respect to the amount of keywords available to it?

Is `x >> pure y` equivalent to `liftM (const y) x`

How to detect a Monad?

haskell monads

What is Crockford's law?

How to show that a monad is a functor and an applicative functor?

Does the term "monad" apply to values of types like Maybe or List, or does it instead apply only to the types themselves?

terminology monads

Haskell and State

Why there is no `Cofunctor` typeclass in Haskell?

haskell monads functor

Why is Identity monad useful?

Does the term "monadic" in J have anything to do with its Haskell use?

haskell terminology monads j

JS Monad unit function

What is an explicit example of a monad without a monad transformer? [duplicate]

How practical is it to embed the core of a language with an effectful function space (like ML) into Haskell?

haskell f# ocaml effects monads

Writing efficient iterative loop for ST monad

loops haskell state monads

"Data types à la carte" vs. nested FreeT transformers

haskell monads