[r6rs-discuss] [Formal] Remove double phase semantics

From: Abdulaziz Ghuloum <aghuloum>
Date: Sun Nov 26 10:30:54 2006

On Nov 26, 2006, at 9:41 AM, AndrevanTonder wrote:
>
> The semantics with separated bindings was invented precisely to
> solve the kind of problem that you describe (see Matthew Flatt's
> paper). The problem you describe can only arise in a semantics that
> shares bindings.

You completely lost me there. What do symbols (like the one you get
from string->symbol) have to do with bindings (like variables and
keywords) ? I know that some implementations have a symbol-value
field in their symbols, but that's an implementation detail. If we
assume symbols only have an immutable string field, then why should
the *symbol* foo be different across phases?

Aziz,,,
Received on Sun Nov 26 2006 - 10:30:33 UTC