[r6rs-discuss] [OT] Should compilers preserve termination?
ludovic.courtes at laas.fr
Mon Mar 12 07:51:03 EDT 2007
Mikael Tillenius <mti at tillenius.com> writes:
> I think that a language that would allow optimizing away loops with
> side-effects would be plain stupid.
> Optimizing away infinite loops
> without side-effects would only be irritating and would violate the
> principle of least surprise.
How would you notice that a side-effect-free loop has been optimized
away? I believe you can't.
More information about the r6rs-discuss