Walter Bright:
It's an interesting list, and an opportunity for D. I once said that my job was to put Coverity out of business.
Even if D has wide success, I don't think D will delete all the C and C++ code out of existence, so I don't think D will ever put Coverity out of business :-)
The more of these issues D can automatically prevent with @safe, the better.
I think D will need/better guns for that, like a more principled (formalized, written fully down in specs, eventually even proved) management of uniqueness, etc.
Bye, bearophile
