Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Elegant way to write ordered comparison on multiple properties

What counts as a side-effect? Why isn't memory allocation a side-effect?

How to map (Either String (a -> b)) to (Either String [(a -> b)])

haskell monads either

Haskell: do notation and return in Monads

haskell monads

What type of math is this: a -> b -> c

math haskell types monads

How to write a haskell function without IO in type sig by hiding 'state' changes

Can somebody walk me through this Haskell function (State monad related)?

haskell state monads

why can't a function take monadic value and return another monadic value?

Why does haskell evaluate a in a >> b?

How do I use map over a list with do notation - ie avoid type `IO ()' with type `[IO ()]'?

haskell monads io-monad

Common practice for higher-order-polymorphism in scala

Monadic impurity and Haskell's purity. How they are combined?

Must I implement Applicative and Functor to implement a Monad

Why Nothing >> Just 3 is Nothing in Haskell?

haskell monads

Haskell -- Is there a monad sequence function for tuples?

haskell tuples sequence monads

avoid explicit passing of lookup table

Using monads for trivial tasks like list manipulation?

haskell monads

Some languages and uses for monads

Embedding higher kinded types (monads!) into the untyped lambda calculus

Haskell: Trapped in IO monad