> Compiling for executable-speed seems inherently orthogonal to compilation time That true at the limit. As is often the case there's a vast space in the middl

> Compiling for executable-speed seems inherently orthogonal to compilation time That true at the limit. As is often the case there's a vast space in the middle, between the extremes of ultimate executable speed and ultimate compiler speed, where you can make optimizations that don't trade off against each other. Where you can make the compiler faster while producing the exact same bytecode.