[racket] filtering syntax

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 13-01-12 16:32, Matthias Felleisen wrote:
> 
> On Jan 13, 2012, at 10:20 AM, Marijn wrote:
> 
>> 
>> Right, b would be a constant, namely the function that returns
>> the value of a.
> 
> 
> a is assignable so b is constant only between 'set! messages

Having thought about this over the weekend, I realized that if b is
(lambda () a) then (b) becomes an alias for a, so while I still
consider b a constant (function) it seems that it would be necessary
to treat it as dependent upon a such that if c is (b) it will
correctly track the value of a. Is this what you're getting at as well?

Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk8T3GUACgkQp/VmCx0OL2wAowCgioiHuzTljv8YqFqLA/dfvEut
A7kAnRGAMusFxjABNLbPMUwpObu9nhCr
=5heE
-----END PGP SIGNATURE-----