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

From: Yi D (plmday at gmail.com)
Date: Tue Apr 22 11:06:00 EDT 2014

On Wed, Apr 16, 2014 at 11:38 PM, Sam Tobin-Hochstadt
<samth at cs.indiana.edu>wrote:

> 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/

​That is quite an enlightening read.  Thanks for the pointer, Sam.​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140422/d7a0481a/attachment.html>

Posted on the users mailing list.