[R6RS] libraries

[Michael Sperber]

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

> 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