Monthly Archives: November 2013

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 →

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 →