[racket] metacircular interpreter, lexical scope, environment

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed Dec 1 21:09:04 EST 2010

On 12/1/10 9:03 PM, YC wrote:
> Thanks - I have read the substitution part of PLAI and thought of using
> substitution as well, but it seems that substitution does not constitute
> the full solution:
>
>     * it only work with side-effect free code

This is not entirely true, but substitution and effects are subtle.

>     * it does not address closure

You don't need closures in a substitution model.

> Maybe I am looking too far ahead, but it seems like I cannot get away
> from needing my own call stack?  Or am I missing something?

I'm not exactly sure what you mean about your own call stack.  The 
environment and the control stack are separate issues.

David


Posted on the users mailing list.