[racket] metacircular interpreter, lexical scope, environment

From: Hendrik Boom (hendrik at topoi.pooq.com)
Date: Wed Dec 1 19:13:40 EST 2010

On Wed, Dec 01, 2010 at 11:26:07AM -0800, YC wrote:
> Hi all -
> a question for those who have experiences with metacircular interpreters:
> How do you represent the lexical variables?  Since lexical variables can be
> optimized away so they won't show up on a call to eval, it seems putting
> them into the environment (I am using a struct holding an immutable hash for
> environment) isn't the right approach.  It feels like I need my own
> call-stack to represent them, but that sounds "heavy" for a metacircular
> interpreter.

I'm not sure I understand the question, though I suspect I may know the 
answer.  Could you be a bit more specific?

I'm not sure what you mean by "optimized away so they won't show up on a 
call to eval".  And what, spoecifically, are "lexical variables"?  
Variables that have scope determined lexically?

-- hendrik

Posted on the users mailing list.