On Sunday, 9 November 2014 at 21:59:19 UTC, eles wrote:
On Sunday, 9 November 2014 at 21:34:05 UTC, Walter Bright wrote:
On 11/7/2014 7:00 AM, Bruno Medeiros wrote:
assert() is for bug detection, detecting state that should
have never happened. By definition you cannot know it is
"safe", you cannot know what caused it.
enforce() is for dealing with known, expected conditions.
This is clear. The missing piece is a way to make the compile
enforce that use on the user.
Code review alone does not work.
This is clear. The missing piece is a way to make the compiler
enforce that separate use on the user.
Code review alone does not work.
