status of D optimizers benefiting from contracts ?
Meta via Digitalmars-d-learn
digitalmars-d-learn at puremagic.com
Sun Nov 9 17:48:38 PST 2014
On Sunday, 9 November 2014 at 16:31:46 UTC, bearophile wrote:
> H. S. Teoh:
>
>> It's only a bad idea because people abuse assert() where it's
>> not appropriate.
>
> It's a bad idea because Walter seems unable to understand the
> difference between verifying and proving.
>
> Bye,
> bearophile
On the other hand, making assert a built-in that provides
optimization hints has been proposed for C++17:
http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4154.pdf
More information about the Digitalmars-d-learn
mailing list