[R6RS] eq?/eqv? on immutable pairs, records, etc.
sperber at informatik.uni-tuebingen.de
Wed May 30 12:57:19 EDT 2007
"R. Kent Dybvig" <dyb at cs.indiana.edu> writes:
> A reasonable compromise position might be to allow multiple copies of
> quoted constants to be created, i.e., for the semantics to leave such
> objects untagged.
These are definitely the most important.
> This would allow the kinds of beta substitutions that we have talked
> about to occur without any additional checks.
What other immutable objects are we talking about? Procedures,
immutable records and hash tables, right?
For procedures, it seems especially insidious to require a location.
I don't care about hash tables---we might as well give even the
immutable ones a location.
However, for immutable records, it seems to me unboxing analyses are
kind of important---especially as records are the means of choice to do
representation hiding. Maybe we could add another clause or an option
to the `immutable' clause that forces a location.
Just guessing here ... Maybe I'm completely wrong as to what's important
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
More information about the R6RS