On 08/10/2012 10:21 PM, David Nadlinger wrote:
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,
I'm going to ignore that part.
you could argue that SafeD is useless,
SafeD is certainly useless for some purposes.
because you can still write exactly the same kind of
memory-corruption bugs if you only disable it.
There is no need to disable it to reach that goal. @safe indicates that
some specific function bodies do not contain unsafe constructs. It does
not prove transitive memory safety.
