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...

Reply via email to