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

[Ola Fosheim Grøstad]

On Wednesday, 22 November 2017 at 17:17:07 UTC, Mark wrote:
> On Tuesday, 21 November 2017 at 09:12:25 UTC, Ola Fosheim 
> Grostad wrote:
>> Runtime checks are part of the type system though
>
> I wouldn't say that, particularly if we are talking about a 
> statically typed language (which Java is).

Very few imperative programming languages are fully statically 
typed.