On Tuesday, 26 December 2017 at 09:03:31 UTC, Paolo Invernizzi
wrote:
The point is that the presence of one @safe: line in the module
can be mechanically checked, over one million devs working on a
codebase.
The whole point of Walter argumentation is 'mechanically'.
/Paolo
My C/C++ code can be 'mechanically' checked too.. and those
checks are better than they've even been, and getting better.
btw. I'm not arguing against the point Walter made in his
reponse. Rather I'm just trying to point out that anyone saying
that D is inherently safe, is wrong.
D provides a great deal of flexibility, and increasingly so, and,
flexibility breeds bugs!
(don't get me wrong, I like D precisely because of this
flexibilty).
But if I come with the mindset of 'safety first' (which i don't -
but lets say I did), then D has some interesting surprises in
store for me - the most obvious of which, is @safe is not default.