null [re: spec#]

[Nick Sabalausky]

"bearophile" <bearophileHUGS at lycos.com> wrote in message 
news:ib6fuj$3j6$1 at digitalmars.com...
>
> This paper contains the solution of about 1/4 of the problems, that may 
> require a @notDelayed attribute (the other problems are collection 
> initialization and simplified typestate management):
> http://research.microsoft.com/apps/pubs/default.aspx?id=67979
>

I only read the overview on that page, but it sounds like that could just be 
handled with ML-style nullable ("Option") types like foobar and I have 
suggested. Am I missing something? (I guess maybe I should just read the PDF 
:) )

Also, I'm curious what you mean by "collection initialization" and 
"simplified typestate management".