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