Introducing Nullable Reference Types in C#. Is there hope for D, too?

[codephantom]

On Wednesday, 22 November 2017 at 00:39:21 UTC, codephantom wrote:
> On Wednesday, 22 November 2017 at 00:19:51 UTC, codephantom 
> wrote:
>> Its seems to be, that you prefer to rely on the type system, 
>> during compilation, for safety. This is very unwise.
>>
>
> To demonstrate my point, using code from a 'safe' language (C#):
> (i.e. should this compile?)
>
> // --------------------------------------------------
>
> using System;
>
> public class Program
> {
>
>
>     public static int Main()
>     {
>         Foo();
>         return 0;
>     }
>
>     static void Foo()
>     {
>         const object x = null;
>
>         //if (x != null)
>         //{
>             Console.WriteLine(x.GetHashCode());
>         //}
>     }
>
> }
>
> // --------------------------------------------------


Here is another demonstation of why you can trust your compiler:

using code from a 'safe' language (C#):
(i.e. should this compile?)


// -------------------------------------

using System;
using System.IO;

public class Program
{
     public static int Main()
     {
         Console.WriteLine( divInt(Int32.MinValue,-1) );
         return 0;
     }

     static int divInt (int a, int b)
     {
         int ret = 0;

         //if ( (b != 0) && (!((a == Int32.MinValue) && (b == 
-1))) )
         //{
             ret = a / b;
         //}
         //else
         //{
         //   throw new InvalidOperationException("Sorry.. no can 
do!");
         //}

         return ret;
     }

}


// -------------------------------------------------------