Re: macro expansion

[CSVAX.fateman at Berkeley]

Friedman would like to use this notion of macro expansion for
implementing control structures (like "while true do ...", or
"and" of a very large number of objects. ).  I believe
it could also be used in conjunction with partial evaluation schemes.

Yes, an infinite loop is to be preferred to a stack overflow, since the
latter reveals the machine dependence of the implementation unnecessarily.
(Friedman seems to prefer it for other reasons too.)