I plan to do a series of blog posts discussing monads. Obviously the internet is not short of monad guides and other discussion of monads, so why another one?
- My perspective will be from the point of view of mathematics and theoretical computer science.
- There will be very little mention of Haskell – there are many excellent Haskell programming guides around the internet that cover the topic from that point of view.
- Monads are one of my favourite mathematical topics, so I’d like to talk about something I enjoy.
The level at which I pitch things will almost certainly evolve over time. For now, I intend to assume some knowledge of category theory, but I will try to avoid being “expert friendly” if at all possible.