Safe mode in D?

[Max Samukha]

On Saturday, 19 October 2013 at 07:39:36 UTC, Maxim Fomin wrote:
>
> This is wrong. Compare safe D and C# in safe, checked mode (I 
> suspect you tried to sell unchecked mode, unmanaged pointers 
> and C++ code invocation as unsafe C# - there are also unsafe 
> features like casts or unions in unsafe D, but this is 
> irrelevant, we are comparing safe mode) and try to come up with 
> examples of memory corruption in C#. At least I showed 4 cases 
> of memory corruption, 4 cases of broken immutable, 2 cases of 
> broken purity in safe D without casts, unions and unchekeced 
> attributes of extern C (which is also hole in type system). So 
> far, you provided only resentment that D was negatively compred 
> with C#.

I would agree if:

1. most of the cases you provided were not compiler bugs.
2. C#'s safety didn't have a price.
3. C# had immutable, pure, etc.