On 12/26/2017 1:03 AM, 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'.
That's right. C++ is based on faith in the programmer using best practices. D is not based on faith, it can be automatically checked.
