Since we're discussing the semantics of LETREC, I've always thought it was
a wart in the language to specify LETREC in terms of SET! It would be nice
if implementations were permitted (but not required) to implement LETREC
in terms of a fixed-point operator as an alternative to SET!
One advantage of this is that it would be much easier to create a purely
functional subset of Scheme.
--
~jrm
Received on Wed Mar 28 2007 - 12:51:47 UTC