Just rambling about optimization...

[Doug Gwyn]

In article <10550:May918:36:1291 at kramden.acf.nyu.edu> brnstnd at kramden.acf.nyu.edu (Dan Bernstein) writes:
>This points to a productive area of research: how to make languages
>sufficiently expressive that all interesting optimizations *can* be
>expressed portably at the source-code level.

I think that would be heading in exactly the wrong direction.
Producing good code is the task of the language translator,
not the programmer.  The programmer should be able to concentrate
on solving the problem in abstract terms, letting the translator
deal with low-level details.