[r6rs-discuss] [Formal] SRFI-39 should be made an R6RS library

[Michael Sperber]

"R. Kent Dybvig" <dyb at cs.indiana.edu> writes:

> So you directly contradicted yourself from one note to the next.

I missed that, obviously.  Could you clarify?

> I've read that section several times without getting much out of it, but
> nothing I see there applies to the parameter mechanism.

Don't Chez's parameters provide the kind of thread-local storage the
paper talks about?  (I'm really not sure at this point.)

> To replace parameters with your restricted construct, one need only
> define your value-binding construct in terms of parameters and use
> it in place of parameters.

That's not enough for your particular API, as you can't take away
mutation from an existing, provided parameter.

> 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.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla