From: Jim Pryor Date: Thu, 16 Sep 2010 20:54:23 +0000 (-0400) Subject: damn: undelim -> delim X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7ee944bfe83f28caca7ef1b25c4daffbc9a570a7 damn: undelim -> delim Signed-off-by: Jim Pryor --- diff --git a/damn.mdwn b/damn.mdwn index 9896c58d..ad687752 100644 --- a/damn.mdwn +++ b/damn.mdwn @@ -270,7 +270,7 @@ The idea here is we capture the continuation that `(damn)` has when it gets eval However, this doesn't work. The reason is that an undelimited continuation represents the future of the evaluation of `(damn)` *until the end of the computation*. So when `'id` is supplied to `k`, we go back to building the at-issue tree until we're finished *and that's the end of the computation*. We never get to go back and evaluate the application of `(cons (cons 'side-effect 'bad) <>)` to anything. -With undelimited continuations +With delimited continuations ------------------------------ The straightforward way to fix this is to use, not undelimited continuations, but instead a more powerful apparatus called "delimited continuations." These too will be explained in due course, don't expect to understand all this now.