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

From: William D Clinger <will>
Date: Sun Nov 26 15:56:40 2006

I appreciate and agree with Kent Dybvig's explanation
of why the separated binding semantics would result
in less efficient code.

Here I just want to point out that the separated
binding semantics differs from the shared binding
semantics only for programs that use syntax-case.
A sufficiently clever implementation could avoid
the inefficiencies associated with the separated
binding semantics for all scripts that don't use
syntax-case, and I suspect that most scripts fall
into that category.

It wouldn't take any cleverness at all to avoid
the inefficiencies associated with the separated
binding semantics in real programs, provided the
R6RS semantics applies only to scripts.

Will
Received on Sun Nov 26 2006 - 15:56:36 UTC