Re:Functors, Applicatives, and Monads in Pictures (2013)
by endgame on Wednesday September 23, 2015 @07:00PM
(#10268845)
Ha, you're quick on the draw! I think the exploration of `after` and `doSomething` highlight good insights that I missed.
The idea that the `IO` type forms a monad (as opposed to `IO` being a monad just because the wizards said so) is also really important and missing from my explanation. Great work.
The idea that the `IO` type forms a monad (as opposed to `IO` being a monad just because the wizards said so) is also really important and missing from my explanation. Great work.