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.