3 ms·
Why not: assert n >= 0 assert result >= 0 ?
by hliyan 9y ago
Why not:
assert n >= 0
assert result >= 0
?
- kmill 9y agoBecause those don't delete the offending code which must be punished. Also, implore specifies the caller is offensive, and any function which swears a falsehood is offensive. The latter is like assert, but the former is like lifting the assert to the caller.
- first_amendment 9y agoOne is a requirement, the other is a promise. The promise "result >= 0" is necessary because the compiler may not be able to prove that on its own.