From 5186270ce99d2ebe9e761defb1fbf63bd002d679 Mon Sep 17 00:00:00 2001 From: Chris Date: Mon, 16 Mar 2015 11:14:13 -0400 Subject: [PATCH 1/1] monads --- topics/_week7_monads.mdwn | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 topics/_week7_monads.mdwn 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 -- 2.11.0