[clean-list] Clean in the Real World

Fergus Henderson fjh@cs.mu.oz.au
Mon, 15 Dec 2003 22:50:19 +1100


On 15-Dec-2003, Arjen van Weelden <arjenw@cs.kun.nl> wrote:
> As I see it, catching exceptions is only non-deterministic between 
> compilations.

You may see it that way, and it might perhaps even be true for the
current Clean implementation, but that's not the case in general.
IMHO imposing that as a requirement would unduly restrict the
compiler's freedom to optimize code.

It would rule out or significantly restrict important categories of
implementations, including those that do automatic parallelization,
and those that initially evaluate code naively and then apply
optimizations based on run-time profiling feedback.

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.