Re: Declaring and Checking Non-Null Types

>I wonder if there's anything we can use from this?
>
>Declaring and Checking Non-Null Types in an Object-Oriented Language
>http://research.microsoft.com/%7Emaf/Papers/non-null.pdf

I have seen this one before and it's quite similar to how Nice handles null.
It discusses special handling of uninitialized fields but because constructor in Nice are different from Java/C# we don't need that.
Further a few things about nullness and C# specific features.
I don't see anything useful in this for Nice but maybe I have overlooked something.

Arjan



-------------------------------------------------------
This SF.Net email is sponsored by: IBM Linux Tutorials
Free Linux tutorial presented by Daniel Robbins, President and CEO of
GenToo technologies. Learn everything from fundamentals to system
administration.http://ads.osdn.com/?ad_id=1470&alloc_id=3638&op=click