[racket] metacircular interpreter: macro parser ==> Re: metacircular interpreter, lexical scope, environment

From: YC (yinso.chen at gmail.com)
Date: Sun Dec 5 13:35:53 EST 2010

Hi all -

continuing on the metacircular interpreter topic - I am now moving into
creating a macro parser, but quickly realize the disproportionate effort
required (compared to the effort so far) to come up with a macro parser for
something like syntax-rules.   Specifically, it seems that matching for
nested ellipses is quite hard to get right, and I have not gotten to the
hygiene portion yet, which appears to mean that I need my own syntax objects
that have the same symbol but are different (and yet will resolve down
lexically for ids that are in the head position).

Are there anyone who can share experiences on how to go about this "easily"?

On Wed, Dec 1, 2010 at 8:13 PM, YC <yinso.chen at gmail.com> wrote:

> On Wed, Dec 1, 2010 at 7:39 PM, David Van Horn <dvanhorn at ccs.neu.edu>wrote:
>> You can't substitute in values for variables that are set!; you need to
>> use the techniques in the paper Shriram suggested, but the substitution
>> model and effects can be made to work.
>> To get the five minute version of Felleisen & Hieb, see this page:
>>   http://redex.plt-scheme.org/why-redex.html
> Yes that makes sense.  Thanks.
> yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101205/38dadb27/attachment.html>

Posted on the users mailing list.