-----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----- ____________________ Racket Users list: http://lists.racket-lang.org/users
