X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=3ca18a15d0f1f952592da6594506c5724af69a49;hp=39dcdaf0649ab713cfc8799f6e5349877406e3d6;hb=a661adb0808f5f8f0f0b3915c7e431bd37f4b65f;hpb=57588efa1216a1f500e9ae42521604fd2f488924
diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 39dcdaf0..3ca18a15 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -1,5 +1,4 @@
-
The [[tradition in the functional programming
@@ -392,6 +391,7 @@ This example is a good intuitive basis for thinking about the notions of `mbind`
Some a >>=α option (\a -> Some 0) ==> Some 0
None >>=α option (\a -> Some 0) ==> None
+ Some a >>=α option (\a -> None ) ==> None
.
/ \
@@ -437,7 +437,9 @@ As we mentioned above, the notions of Monads have their origin in Category Theor
[1](http://en.wikipedia.org/wiki/Outline_of_category_theory)
[2](http://lambda1.jimpryor.net/advanced_topics/monads_in_category_theory/)
[3](http://en.wikibooks.org/wiki/Haskell/Category_theory)
-[4](https://wiki.haskell.org/Category_theory), where you should follow the further links discussing Functors, Natural Transformations, and Monads.
+[4](https://wiki.haskell.org/Category_theory) (where you should follow the further links discussing Functors, Natural Transformations, and Monads)
+[5](http://www.stephendiehl.com/posts/monads.html)
+
Here are some papers that introduced Monads into functional programming: