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

[codephantom]

On Wednesday, 22 November 2017 at 13:21:05 UTC, Timon Gehr wrote:
> On 22.11.2017 01:19, codephantom wrote:
>
> No, I ideally want the type system to point out when the code 
> is not obviously correct. That does not mean I assume that the 
> code is correct when it compiles (given that I'm using a 
> language that does not require me to prove absence of all bugs, 
> and even if it did I'd at most assume that either the language 
> implementation is incorrect or my code is correct, with a 
> certain margin of error due to undetected hardware failures).
>
>> This is very unwise.
>> ...
>
> Thanks for pointing that out.
>

You're welcome.