topics/_week7_monads.mdwn

   1 <table border=2><tr><tl>x</tl></tr></table>
   2
   3
   4
   5 Monads
   6 ======
   7
   8 The [[tradition in the functional programming
   9 literature|https://wiki.haskell.org/Monad_tutorials_timeline]] is to
  10 introduce monads using a metaphor: monads are spacesuits, monads are
  11 monsters, monads are burritos.  We're part of the backlash that
  12 prefers to say that monads are monads.
  13
  14 The closest we will come to metaphorical talk is to suggest that
  15 monadic types place objects inside of boxes, and that monads wrap and
  16 unwrap boxes to expose or enclose the objects inside of them.  In any
  17 case, the emphasis will be on starting with the abstract structure of
  18 monads, followed by instances of monads from the philosophical and
  19 linguistics literature.
  20
  21 <table border=2>x</table>