[racket] metacircular interpreter, lexical scope, environment

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