Let's Talk About Monads

In order to better understand Haskell, I’m going to work my way through the Monad module, exploring all the new types I encounter on the way.
Monad is a key datatype in Haskell, and as you will often hear, is the one that gives Haskell its intimidating reputation. But it’s really not as bad as all that. It’s just very abstract, and it isn’t always immediately obvious how a particular instance of Monad fits into the Monad abstraction. We’ll deal with that when we come to it.

Monads are a concept from category theory. Although you don't need category theory to understand Haskell, it can be helpful to refer to category theory now and again to see where these concepts originate from and how their definitions relate to their Haskell counterparts.

We’ll start our journey through Monad with the next post…

Written with StackEdit.