On Tuesday, 5 August 2014 at 09:42:26 UTC, Ola Fosheim Grøstad
wrote:
On Monday, 4 August 2014 at 00:59:10 UTC, Andrei Alexandrescu
wrote:
For my money, consider Walter's response:
I feel a bit confused about the mixture between compiler and
optimizer. While I agree the compiler does the optimization and
the two are intrinsically linked, the languages (or the
instructions) for them seem to me to belong to quite different
paradigms:
- compiler language is imperative programming
- optimizer language is declarative programming
It is wise to mix them to such degree as to no longer distinguish
them? For me, assume and the like shall rather go with the
annotations.
