Stroustrup's slides about c++11 and c++14

[Timon Gehr via Digitalmars-d]

On 09/15/2014 12:38 AM, Walter Bright wrote:
> On 9/14/2014 2:48 PM, deadalnix wrote:
>> If that is really a concern, please consider commenting on
>> http://wiki.dlang.org/DIP31
>
> I haven't thought it through, but the DIP looks like a good idea.
>
> It should add the test case in this thread,
>
>    static if(!is(typeof(x))) enum y=2;
>    static if(!is(typeof(y))) enum x=1;
>
> as being something that is detected and rejected by the compiler.
>
> Essentially, anything that is order-of-evaluation dependent should be
> detected and rejected.

(It is furthermore also important that most programs that are not 
dependent on evaluation order are still accepted.)