Monthly Archives: November 2013

The correspondence between Monads in Category Theory and Monads in Haskell

Motivation Monads in Category Theory are defined in a different manner than how Monads in Haskell are defined. But both definitions are equivalent. That is what I wrote at the end of my last blog post. In this blog post … Continue reading

Posted in Development

Monads in Haskell finally explained

What Monads make possible is the composition of functions that have side effects. In Haskell, we denote a function f that takes as input a type a and gives as output a type b, as follows: f :: a -> … Continue reading

Posted in Development