On Friday, 7 February 2014 at 01:21:25 UTC, Andrei Alexandrescu
wrote:
This is a very incomplete, naive sketch. It could be made to
work only in a language that has no backward compatibility to
worry about.
Whaddya mean? On the object code level? The compiler should be
conservative and generate the alternatives if needed.
In this day and age a language should aim for whole program
optimization and static analysis. Not necessarily the
proof-of-concept compiler, but the language spec.
A system level language should go out of its way to make stack
and pool allocations likely/possible/probable as well as register
based optimizations on calls etc.