Difference between revisions of "Monad tutorials timeline"

From HaskellWiki
Jump to navigation Jump to search
(→‎year 2008: "skips transformations" is not very informative, and most tutorials are broader than just IO and Maybe)
Line 100: Line 100:
== year 2008 ==
== year 2008 ==
* 2008-06 [http://spbhug.folding-maps.org/wiki/Monads Monads] (in Russian) and [http://spbhug.folding-maps.org/wiki/MonadsEn Monads] (in English) - Yet another monad tutorial, by Eugene Kirpichov; fairly advanced but skips monad transformers. Oriented towards a broader understanding of monads than just IO and Maybe.
* 2008-06 [http://spbhug.folding-maps.org/wiki/Monads Monads] (in Russian, [http://spbhug.folding-maps.org/wiki/MonadsEn English translation]) - Eugene Kirpichov [8200 words ru, 10000 en]
*: "A monad is a triple (m, return, >>=), where: ..." ... "As we progressed, we saw that monads are most commonly used for two different purposes: structuring the control flow and describing imperative effectful computations (IO, State, IndentIO), and structuring data flow (Maybe, List, Dist)."
* [http://book.realworldhaskell.org/read/monads.html Monads], Chapter 14 of "Real World Haskell".
* [http://book.realworldhaskell.org/read/monads.html Real World Haskell, Chapter 14: Monads] - Bryan O'Sullivan, Don Stewart, and John Goerzen
*: "We aim to show you that a monad is often an obvious and useful tool to help solve a problem."
== year 2009 ==
== year 2009 ==

Revision as of 05:34, 19 August 2012


This is a comprehensive timeline of monad tutorials and related articles.

Please update this list as it becomes outdated! If you find a tutorial, article, post, comment, or message that stands on its own as an explanation of monads, then please take a moment to paste the link somewhere on this page (register a throwaway account, if you prefer). The date, author, and blurb can be added later. This will greatly help others who are using this list as a resource for learning about monads.

before 2000

  • 1992-08 Monads for Functional Programming (pdf) - Phil Wadler, a designer of Haskell [9126 words]
    "Shall I be pure or impure?" ... "A monad is a triple (M; unit; *) consisting of a type constructor M and two operations of the given polymorphic types."
  • 1995-05 Monadic IO in Haskell 1.3 - Andrew D. Gordon and Kevin Hammond
    "We describe the design and use of monadic I/O in Haskell 1.3"
  • 1999-02 What the hell are Monads? - Noel Winstanley [2789 words]
    "Once upon a time, people wrote their Haskell programs by sequencing together operations in an ad-hoc way." ... "For our purposes, a monad is a triple of a type and then> & return operators defined over it so that the following laws apply: ..."
  • 1999-Spring Monads for the working Haskell Programmer - Theodore S. Norvell [4231 words, Haskell98, Gofer]
    "...monads can be used to implement several other programming features including: consuming input, producing output, exceptions and exception handling, nondeterminisim."

year 2002

  • 2002 Yet Another Haskell Tutorial (Chapter: Monads) - Hal Daumé III
    "The definition of a monad is a slightly trimmed-down version of our Computation class. The Monad class has four methods ..."

year 2003

  • 2003-08 All about Monads - Jeff Newbern [22600 words]
    A comprehensive introduction to monads, covering also "advanced" topics like monad transformers and use of some common monads. There is an appendix which presents monads as assembly lines.
    "A monad is a way to structure computations in terms of values and sequences of computations using those values."

year 2004

  • 2004-07 A Schemer's Introduction to Monads - Dave Herman [1736 words, Lisp, Scheme]
    "The main insight of monads is that all side effects, from mutation to I/O to non-termination, have one thing in common: order of evaluation matters." ... "So monads are about talking about effects in the context of a pure semantics."
  • 2004-07 Monads as Containers (Russian translation) - Cale Gibbard [2893 words]
    "A monad is a container type together with a few methods defined on it. Monads model different kinds of computations." ... "it is more natural sometimes to begin with map (fmap), return and join"
  • 2004-08 Monads in Perl - Greg Buchholz [2171 words, Perl]
    "Essentially a monad is a hidden data structure (Fig. 1) which automatically passes state around for us. "

year 2005

  • 2005-07 Monads in Ruby - MenTaLguY
    Presents monads in a friendly language, starting from Identity and building on up
  • 2005-11 Of monads and space suits - Eric Kow
    Functions are space stations, parameters are astronauts and monads are space suits that let us safely travel from one function to another.

year 2006

  • 2006-03 Understanding Monads - Eric Kow
    Monads as nuclear waste containers, an adaptation of monads as space suits with a new metaphor suggested by Paul Johnson
    "What we need is some way to capture the pattern 'do X and then do Y, where Y may be affected by X'. Monads are the way we do this." ... "In a sense, each monad is its own little minilanguage specially suited for its particular task."
  • 2006-07 The Monadic Way - Andrea Rossato
    A two-part tutorial. The first part shows you how build a simple evaluator, and the second part shows you how to "take the complexity" out of it by using techniques such as monad transformers
    Revised 2006-09 to include Meet Bob The Monadic Lover: "what monads look like and what they are useful for, from the perspective of a ... lover."
  • 2006-08 You could have invented monads! (and maybe you already have) - Dan Piponi
    "Writing introductions to monads seems to have developed into an industry," Dan (sigfpe) observes. He argues that monads are not "something esoteric in need of explanation", but walks you through the process of reinventing monads to solve some very basic and practical problems.
    "So now I can reveal what a monad is. The triple of objects (m,unit,bind) is the monad, and to be a monad they must satisfy a bunch of laws such as the ones you've been proving."
  • 2006-10 Monad Transformers Step by Step - Martin Grabmüller
    Monad transformers are rarely covered in introductory tutorials. This "is not a paper about implementing transformers, but about using them to write elegant, clean and powerful programs in Haskell". Available as a 12 page PDF or .lhs file.
  • 2006-11 There's a Monster in my Haskell! Andrew Pimlott
    This delightful "tutorial" presents monads as monsters which devour values, use them to feed other monsters and regurgitate them when slain.

year 2007

  • 2007-01 Think of a monad - Don Stewart (reposted on Eric Kow's blog)
    Don integrates some pre-existing monadic metaphors, shedding light on monads in a truly comprehensive manner (illustration by Eric)
  • 2007-02 Understanding Monads. For Real - Karsten Wagner
    A monad is like a macro
  • 2007-02 Crash Course in Monads Monads for Mathematicians
    Author's Description: This crash course starts with an EASY! introduction to categories and functors, then we define a monad, then give some basic examples of monads in categories, then present monadic terminology as used in programming languages.
    Then I lie down in a dark room with a warm wet cloth over my eyes.
  • 2007-04 The Real Monad Transformer - Henning Thielemann
    Not a tutorial either, but an important aid in demystifying monads
  • 2007-03 Monads in 15 Minutes - Eric Kidd
    Eric boils monads down to 15 minutes, using backtracking and Maybe as motivating examples. Eric uses join, which seems quite rare for monad tutorials (cf Cale's Monads as containers)
  • 2007-07 Monads! (and why monad tutorials are all awful) - Colin Gordon?
    Csgordon reports that monad tutorials tend to "get horribly botched" and says "[they] either bored me to tears, struck me as completely inane, or simply confused me". He uncovers the early Phil Wadler's paper, Monads for Functional Programming, which not only gives a clear explanation but provides non-trivial motivating examples
  • 2007-08 Monads as computation - Cale Gibbard
    A very straightforward presentation of monads. Notable for its "The whole point" section, which conveys why we bother with all this monad business.
  • 2007-08 Understanding Monads (2) - Apfelmus
    Wikibook rewrite of the original monads tutorial. Less fluff, more pedagogy. [In progress at the time of this writing].
  • 2007-08 Monad (sans metaphors) - Claus Reinke
    From a discussion about monad tutorials on Haskell Café (the name is due to haskellwiki user 'Green tea').
  • 2007-11 How to do IO in Haskell - Toby Goodwin
    In some ways, a non-monad tutorial, describes Haskell IO (with lots and lots of examples) with an emphasis on types, rather than monad theory

year 2008

  • 2008-06 Monads (in Russian, English translation) - Eugene Kirpichov [8200 words ru, 10000 en]
    "A monad is a triple (m, return, >>=), where: ..." ... "As we progressed, we saw that monads are most commonly used for two different purposes: structuring the control flow and describing imperative effectful computations (IO, State, IndentIO), and structuring data flow (Maybe, List, Dist)."

year 2009

year 2010

  • 2010-08 A Fistful of Monads from Learn You a Haskell
    An introduction to monads that builds on applicative functors

year 2011

  • 2011-01 Monads for the Curious Programmer: Part 1, Part 2, Part 3, and Monads in C++ - Bartosz Milewski [3405, 4293, 3416, and 5244 words]
    "Monads are hard to describe because they don’t correspond to anything in our everyday experience" ... "A monad is an endofunctor together with two special families of morphisms, both going vertically, one up and one down"
  • 2011-04 Understanding Haskell Monads - Ertugrul Söylemez [12385 words]
    "A monad is a wrapper type around another type (the inner type), which adds a certain structure to the inner type and allows you to combine computations of the inner type in a certain way."

year 2012

  • 2012-04 Why Do Monads Matter? - Chris Smith
    "... The category that they form is called a Kleisli category, and it’s basically another way of looking at monads."