On Fri, Oct 5, 2012 at 11:13 AM, Jonathan M Davis <span dir="ltr"><<a href="mailto:jmdavisProg@gmx.com" target="_blank">jmdavisProg@gmx.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">You are going to find plenty of people who disagree quite strongly with you.</div>
There are times when having a type be non-nullable is very useful, but there<br>
are times when having a type be nullable is extremely useful. You seem to<br>
think that the idea of nullability is bad in the first place, and while some<br>
people will agree with you, a _lot_ will not. You're fighting a losing battle<br>
if you're arguing that.<br>
<br>
It would be a _huge_ design mistake for a systems language not to have<br>
nullable pointers. Having non-nullable references or pointers in addition to<br>
nullable ones might be useful, but not having nullable ones at all would be<br>
crippling - especially for a systems language.<br>
<br>
I think that we're clearly going to have to agree to disagree here.<br>
<span class="HOEnZb"><font color="#888888"><br>
- Jonathan M Davis<br>
</font></span></blockquote></div><br><div><br></div><div>I do not think he was arguing removing null completely from the type system. It is just that for the vast majority of the cases, references are not meant to be null and thus it should be disallowed by default. If you want to use a nullable reference you have to explicitly ask for such.</div>

<div><br clear="all">--<br>Ziad<br></div>