Comment by lamacase
10 years ago
The second-to-last slide ends with:
"ideally, a language should be designed so that an optimizing compiler can describe its optimizations in the source language. Of course!"
and
"The programmer using such a system will write his beautifully-structured, but possibly inefficient, program P; then he will interactively specify transformations that make it efficient. Such a system will be much more powerful and reliable than a completely automatic one."
Which I find to be a much more agreeable conclusion than
"everybody should write in-line assembly for inner-loops"
On the first, so he wants something like stratego (or any of the other failed systems that do this and were determined not useful) :)
On the second, i'm going to just disagree.