On Friday, 10 August 2012 at 20:11:08 UTC, Timon Gehr wrote:
The point is that Ada didn't prevent it. […] Correlation is correlation.
Following the same logic, you could argue that SafeD is useless, because you can still write exactly the same kind of memory-corruption bugs if you only disable it.
David
