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

[codephantom]

On Wednesday, 22 November 2017 at 00:49:02 UTC, Jonathan M Davis 
wrote:
> The question isn't whether we should use the type system to 
> prevent bugs. The question is which set of problems really make 
> sense to prevent with the type system.
>
> - Jonathan M Davis


Those that can be proven.