Pluggable type sytems

[Denis Koroskin]

On Mon, 09 Feb 2009 04:09:26 +0300, Bartosz Milewski <bartosz at relisoft.com> wrote:

> I just assume that any extension of the already complex D type system  
> will be met with a lot of resistance. I remember the all-out wars about  
> const and immutable (a.k.a invariant). Even those extensions are still  
> half-assed: the construction of immutable objects and const polymorphism  
> issues remain.
>
> My impression is that theoreticians and very advanced programmers love  
> elaborate type systems. Nine-to-five programmers, which are in the  
> majority, prefer simplicity even if the cost is reliability. Just look  
> at the comments to my blog post.
>
> I know we have to do something about null references in D, but I'm still  
> on the fence about how we should accomplish that.
>

So, let's ask the community: Would you like to see nullable types in D?

http://www.micropoll.com/akira/mpview/539369-138652
(please, don't abuse by voting multiple time)

Explain your reasoning in newsgroups. Thank you.