From 4d3716c93c54b77c70549da836c90d9683fadb41 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 1 Nov 2010 02:32:39 -0400 Subject: [PATCH] week7 tweak Signed-off-by: Jim Pryor --- week7.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.11.0