[R6RS] revised^1 exception vote list
William D Clinger
will at ccs.neu.edu
Sun May 14 19:32:19 EDT 2006
> Correct? If not, could you explain?
Close, but not quite correct. For technical reasons related
to the difficulty of describing the semantics Kent requested,
a plausible prefix is not a Scheme value, and therefore not
a possible argument to any procedure. Hence the explosive
locution in munition 22.
If you were to replace my definition of plausible prefix with
a definition that makes a plausible prefix into a Scheme
value, then your suggested "the last value xn of that prefix"
would make no sense, because there is no such thing as the
last value of a Scheme value; in particular, you would not be
able to express the dependence of xn upon timing and choices
of the preceding xi, as required by Kent's semantics.
More information about the R6RS