[racket] metacircular interpreter, lexical scope, environment

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed Dec 1 22:39:00 EST 2010

On 12/1/10 9:52 PM, YC wrote:
> Thanks David, please see inline.
>
> On Wed, Dec 1, 2010 at 6:09 PM, David Van Horn <dvanhorn at ccs.neu.edu
> <mailto:dvanhorn at ccs.neu.edu>> wrote:
>
>
>     This is not entirely true, but substitution and effects are subtle.
>
>
> I can see that it works if things are by-reference, but by-value will
> appear to be broken, no?

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

David


Posted on the users mailing list.