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:
> While I definitely don't think that it's generally very hard to 
> avoid bugs with null pointers/references, telling someone to 
> code correctly in the first place isn't very useful.

By 'correct code', I mean code that assists the compiler, so that 
it can determine what the truth is (or is meant to be).