[nem-en] Nullable types

[Kenneth Ismert]

>> Well, I'm quite neutral about nullable types. I never needed
>> them in Nemerle yet ... 
>> I believe they are useful for static contract checking.

As a database app developer, I quite like the idea. Since database
types are inherently nullable, having an equivalent type in your
programming language makes the straightforward things straightforward. 

In VB, you had the Variant, which was AnyType Or Null. That presented
certain logical problems dealing with database datatypes, which were
SpecificType Or Null. 

So, having a SpecificType Or Null construct in the Nemerle would be
attractive to me. 

Or perhaps I'm missing something obvious?

-Ken Ismert