[r6rs-discuss] [OT] Should compilers preserve termination?

From: Ludovic Courtès <ludovic.courtes>
Date: Mon Mar 12 07:51:15 2007

Hi,

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.

Agreed.

> 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.

Thanks,
Ludovic.
Received on Mon Mar 12 2007 - 07:51:03 UTC