On Saturday, 2 August 2014 at 04:47:05 UTC, Timon Gehr wrote:
BTW: I missed something:
On 08/01/2014 11:18 PM, Chris Cain wrote:
Imagine my surprise when I Google'd "assert definition" to
find it meant
"state a fact or belief confidently and forcefully."
On 08/02/2014 12:03 AM, Chris Cain wrote:
Assertions are a statement of fact or belief and can be backed
up with
evidence.
Is 'making a statement of fact' really the same as 'stating a
fact'?
Probably not. Maybe I wasn't rigorous with the first definition.
That said, as far as the compiler is concerned when asserts are
taken out, it's reasonable for it to just accept it as a fact
even if it doesn't prove it as such. Because we're gods and all.
