> > Okay, but where's the definition of parameterize in terms of your
> > dynamic binding construct? It didn't make it into your note.
>
> I was assuming I'd use your definition unchanged.
In:
http://lists.r6rs.org/pipermail/r6rs-discuss/2007-February/001561.html
you wrote:
In contrast, dynamic binding as a separate mechanism is simple and
modular. Combined with thread-local storage (less simple and not
modular, but still simpler than parameters), you can build parameters.
I'm looking for proof of this claim, i.e., a definition of the parameter
mechanism in terms of your dynamic-binding mechanism and thread-local
storage. So far you've only offered up a definition of make-parameter
that is independent of your dynamic-binding mechanism and no definition of
parameterize.
In fact, I don't think your dynamic binding mechanism is capable of
implementing parameterize, in combination with thread-local storage or
otherwise, so if we want parameterize, we have to use something like my
definition.
Kent
Received on Wed Feb 21 2007 - 11:33:04 UTC