From: Jim Pryor Date: Mon, 1 Nov 2010 06:32:39 +0000 (-0400) Subject: week7 tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4d3716c93c54b77c70549da836c90d9683fadb41 week7 tweak Signed-off-by: Jim Pryor --- diff --git a/week7.mdwn b/week7.mdwn index 4e52490e..b78e01e7 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -314,7 +314,7 @@ invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Pres Monads increase the ease with which programs may be modified. They can mimic the effect of impure features such as exceptions, state, and continuations; and also provide effects not easily achieved with such features. The types of a program reflect which effects occur. The first section is an extended example of the use of monads. A simple interpreter is modified to support various extra features: error messages, state, output, and non-deterministic choice. The second section describes the relation between monads and continuation-passing style. The third section sketches how monads are used in a compiler for Haskell that is written in Haskell.--> -* [Daniel Friedman. A Schemer's View of Monads](/schemersviewofmonads.ps): from but hosted the link above is to a local copy. +* [Daniel Friedman. A Schemer's View of Monads](/schemersviewofmonads.ps): from but the link above is to a local copy. There's a long list of monad tutorials on the [[Offsite Reading]] page. Skimming the titles makes me laugh.