X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=b78e01e7659c821a504c269b6d2e3b5d2b928c91;hp=4e52490e7eaf242958a88a548aec65b4b2c3b1c1;hb=4d3716c93c54b77c70549da836c90d9683fadb41;hpb=b221494c397f7a6841b95ceeb227ac436d98440e;ds=sidebyside 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.