Re: checkedint call removal

[via Digitalmars-d]

On Thursday, 31 July 2014 at 20:24:09 UTC, Walter Bright wrote:

In closing, Hoare's paper:

   http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf

speaks of "assertions" which can be proven to be true. (It doesn't mention "assumptions".) The simplest way to prove it is to put in a runtime check. D's assert() nicely fits in with that.

Assumptions are axioms. It mentions axioms.

This is an axiom:

int x = 0;