X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=857a636bad6dad17cdda8689905be7dd934174c9;hp=79983c3eb524ad560ae2d5f45a2bafb0b38d8da8;hb=446376aee15c6fbc9d71383d1c7654fd02ebb8f6;hpb=11a31a071405f0eb9bc48ea98e5e9ee592fac245 diff --git a/week7.mdwn b/week7.mdwn index 79983c3e..857a636b 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -457,7 +457,7 @@ presented here, a monad is not exactly a monoid, because (unlike the arguments of a monoid operation) the two arguments of the bind are of different types. But it's possible to make the connection between monads and monoids much closer. This is discussed in [Monads in Category -Theory](/advanced_notes/monads_in_category_theory). +Theory](/advanced_topics/monads_in_category_theory). See also . Here are some papers that introduced monads into functional programming: @@ -484,7 +484,7 @@ invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Pres There's a long list of monad tutorials on the [[Offsite Reading]] page. Skimming the titles makes us laugh. In the presentation we gave above---which follows the functional programming conventions---we took `unit`/return and `bind` as the primitive operations. From these a number of other general monad operations can be derived. It's also possible to take some of the others as primitive. The [Monads in Category -Theory](/advanced_notes/monads_in_category_theory) notes do so, for example. +Theory](/advanced_topics/monads_in_category_theory) notes do so, for example. Here are some of the other general monad operations. You don't have to master these; they're collected here for your reference.