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 <dvanh...@ccs.neu.edu
<mailto:dvanh...@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
_________________________________________________
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/users

Reply via email to