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

codephantom me at noyb.com
Wed Nov 22 01:09:18 UTC 2017


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.

Fair enough...perhaps I'm being too explicit with my argument.

However, my point is, that one should not overly rely on some 
magical compiler for telling you what is 'true'.

How can a compiler know that G is true if it cannot prove that G 
is true?

You need to take this into account during your coding. Otherwise 
the runtime system is your last line of defence.



More information about the Digitalmars-d mailing list