assume, assert, enforce, @safe

[eles via Digitalmars-d]

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.