[racket] About the always-renaming strategy in hygienic macro expansion

On Wed, Apr 16, 2014 at 3:14 PM, Yi D <plmday at gmail.com> wrote:
>
> I am trying to understand hygienic macro expansion by looking into
> the algorithms, in the paper "Macros That Work" and "Syntactic
> Abstraction in Scheme".  Any of them may not exactly be what is
> implemented in Racket but presumably the essential ideas are not
> that different. Currently I encounter two problems in understanding:

You're more likely to understand the core ideas in Racket from the
paper "Macros the Work Together" (by Matthew and others), which
describes how the algorithms as implemented in Racket work.  This is
somewhat different from Dybvig's paper, and both are much different
than "Macros that Work".  Also, I think Matthew's paper is much easier
to understand.

Paper here: http://www.cs.utah.edu/plt/expmodel-6/

Sam