[R6RS] libraries

Michael Sperber sperber
Tue Dec 13 11:24:20 EST 2005

dyb at cs.indiana.edu writes:

>> There's a whole spectrum here, leading all the
>> way up to SML, where all bindings are immutable, so it doesn't seem
>> clear that program analysis should trump us to any particular place in
>> the middle of that spectrum.
> Going as far as SML wouldn't make program analysis any easier than
> making exports completely immutable: [...]

That isn't what I said---I wasn't talking about the spectrum of the
precision of program analysis, but rather the spectrum of design

> So I'm not trying to trump us to any particular place *in the middle
> of that spectrum*.  I'm trying instead to trump us to the place
> where we can determine the exact set of settable variables, both in
> the exporting and importing modules.  That is, I prefer either total
> mutability for convenience or total immutability for program analysis
> (by programmer and tool).  

... and, as I said, total immutability is fine with me, too, but for
different reasons than the ones you cite.

Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla

More information about the R6RS mailing list