Fri, 14 Jul 2000 09:15:02 -0700
From: Jason Marshall [mailto:email@example.com]
>>understand why you feel justified in that. If it's impossible to
>>which program is faster, how can you be justified in claiming
>>that you can choose the fastest?
>But the thing is, most compilers are already doing a reasonable
>approximation of this, are they not?
Correct; because that's what a heuristic is for. He thinks he can do better
than a heuristic; and in fact, he CERTAINLY can, so long as he's willing to
take the time hit, and he doesn't attempt to beat a heuristic for something
uncomputable. Unfortunately, the thing he's doing has a huge time hit, and
what he's optimising for (speed) is uncomputable.