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

[codephantom via Digitalmars-d]

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.