From ab3276865991638a48d5f48ce977206805d0464e Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 11:51:18 -0400 Subject: [PATCH] damn tweaks12 Signed-off-by: Jim Pryor --- damn.mdwn | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/damn.mdwn b/damn.mdwn index 33912ffd..9d03debe 100644 --- a/damn.mdwn +++ b/damn.mdwn @@ -208,15 +208,17 @@ As came out in discussion, the `print` we're using here already constitutes a ki and then ask for the evaluation of: - (+ 2 (three-thunk)) + (+ (+ 2 (three-thunk)) 1) you'll see something like:
-"hi" 5 +"hi" 6
-So the demonstration we tried in class was pedagogically flawed. It didn't properly display how continuations are a minimally effective apparatus for representing affective meaning. In fact, continuations were still doing the work, but it wasn't the explicit continuations we were writing out for you. It was instead continuations implicit in the `print` operation. +In other words, the printing of "hi" already happens on the side, outside of the main evaluation. Continuations don't need to be explicitly invoked. + +So the demonstration we tried in class was pedagogically flawed. It didn't properly display how continuations are a minimally effective apparatus for representing affective meaning. In fact, continuations *were* still doing the work, but it wasn't the explicit continuations we were writing out for you. It was instead continuations implicit in the `print` operation. So a better demonstration would do without any device like `print` that already incorporates continuations implicitly. Any continuation-manipulation should be fully explicit. -- 2.11.0