HaskellWiki’s living timeline of monad tutorials spanning 1992-2010+, covering every major explanation approach from category theory to metaphor.
Key Takeaways
Timeline covers 30+ tutorials from Wadler’s 1992 foundational papers through 2010, including PDFs, blog posts, and translated works.
Brent Yorgey’s 2009 “monad tutorial fallacy” entry names why most analogies fail: struggling through details is irreplaceable for building intuition.
Dan Piponi’s 2006 “You Could Have Invented Monads” remains the most-cited reinvention-first approach, bypassing metaphor entirely.
Monad transformers are underrepresented in intros; Grabmuller’s 2006 “Step by Step” is one of few dedicated transformer tutorials on the list.
The wiki is community-maintained and explicitly asks readers to add missing links, making it a living reference rather than a static survey.
Hacker News Comment Review
Consensus: analogies (burritos, space suits, monsters) are entertaining but ultimately misleading; following the typeclass laws directly works better.
Commenters highlight that understanding decays without continued practice, suggesting monads require active use, not just a one-time read.
The exotic monad rabbit hole (Tardis, Cont) is flagged as a reliable test of whether someone truly understands the abstraction versus a specific instance.
Notable Comments
@cpa: recommends the Tardis and Cont monads as litmus tests; “everybody says” skip analogies but it takes real time to internalize why.
@preommr: sharp critique of tutorial structure: five paragraphs of fantasy setup before flatMap, then category theory, then vague generalities.
