From: Chris <chris.barker@nyu.edu>
Date: Mon, 16 Mar 2015 15:14:13 +0000 (-0400)
Subject: monads
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5186270ce99d2ebe9e761defb1fbf63bd002d679;hp=9c4caef33bf49319c09bf0b39a29ba43f8be1a10

monads
---

diff --git a/topics/_week7_monads.mdwn b/topics/_week7_monads.mdwn
new file mode 100644
index 00000000..21ac2f59
--- /dev/null
+++ b/topics/_week7_monads.mdwn
@@ -0,0 +1,17 @@
+Monads
+======
+
+The [[tradition in the functional programming
+literature|https://wiki.haskell.org/Monad_tutorials_timeline]] is to
+introduce monads using a metaphor: monads are spacesuits, monads are
+monsters, monads are burritos.  We're part of the backlash that
+prefers to say that monads are monads.  
+
+The closest we will come to metaphorical talk is to suggest that
+monadic types place objects inside of boxes, and that monads wrap and
+unwrap boxes to expose or enclose the objects inside of them.  In any
+case, the emphasis will be on starting with the abstract structure of
+monads, followed by instances of monads from the philosophical and
+linguistics literature.
+
+To