and we get back:
- ((the . man) . (read . (the . (id . book))))
+ '((the . man) . (read . (the . (id . book))))
---or an equivalent shorthand. (I'm now going to stop saying this.)
gives us:
- ((the . man) . (read . (the . (bad . book))))
+ '((the . man) . (read . (the . (bad . book))))
Which is not quite what we're looking for. We don't want to contribute the normal adjectival meaning of "bad" to the proposition asserted. Instead we want badness to be a side-issue linguistic contribution. We might try:
But then we'd get:
- ((the . man) . (read . (the . ((side-effect . bad) . book))))
+ '((the . man) . (read . (the . ((side-effect . bad) . book))))
and we said at the outset that the context `(the . ( ... . book))` shouldn't need to know how to interact with affective meanings. That's precisely the problem we're trying to solve.
We get something like this:
<blockquote>
-<strong>"bad"</strong> ((the . man) . (read . (the . (id . book))))
+<strong>"bad"</strong> '((the . man) . (read . (the . (id . book))))
</blockquote>
Yay! The affective meaning has jumped out of the compositional evaluation of the main sentence, and the context `(the . (... . book))` only has to deal with the trivial adjectival meaning `'id`.
Instead of representing the side-issue affective contribution by printing "bad", let's instead try to build a pair of side-effect contributions and at-issue assertion. Then what we want would be something like:
- ((side-effect . bad) . ((the . man) . (read . (the . (id . book)))))
+ '((side-effect . bad) . ((the . man) . (read . (the . (id . book)))))
Only we want to get this from the evaluation of:
Evaluating that gives us:
- ((the . man) . (read . (the . (id . book))))
+ '((the . man) . (read . (the . (id . book))))
Now to pair that with an affective side-issue content, we'd instead define `damn` as:
evaluates to:
- ((side-effect bad) ((the . man) . (read . (the . (id . book)))))
+ '((side-effect bad) ((the . man) . (read . (the . (id . book)))))
So that's the straightforward way of repairing the strategy we used in class, without using `print`. We also have to switch to using delimited continuations.