checkedint call removal

Ola Fosheim Gr via Digitalmars-d digitalmars-d at puremagic.com
Mon Jul 28 22:34:26 PDT 2014


I find it worrying that you take so lightly on basic correctness. 
Asserts are entirely probabilistic in nature. What you are 
arguing for is a regime where a single bad assert can result in 
the user's disk getting wiped even though you had protections in 
place in the code without asserts that would have prevented it. 
That is horrible.

With 500 asserts and a 99.9% chance of a single assert not 
contradicting the program you have ~40% chance of having 
contradictions.

I guess that makes D a @safe language...


More information about the Digitalmars-d mailing list