[r6rs-discuss] R6 counterproposal
R. Kent Dybvig
dyb at cs.indiana.edu
Tue May 29 14:06:23 EDT 2007
> the very mechanism that makes referential transparency and hygiene
> practical, the lazy propagation of scoping information and marks,
> also makes it difficult to interpret what (datum->syntax template-id
> datum) does when you get an expression that's been heavily munged already.
Lazy propagation of scoping information and marks has no impact on the
behavior of datum->syntax. If the information is propagated eagerly to
all identifiers at once it is the same as if it is propagated lazily.
More information about the r6rs-discuss