Nullable types

[Jarrett Billingsley]

On Mon, Oct 20, 2008 at 3:34 AM, Lionello Lunesu
<lionello at lunesu.remove.com> wrote:
> Hi,
>
> I'm getting more and more intrigued by the way Delight [1] and F# [2] handle
> nullable types: using the type-system to check for "nullness" the way it
> does for constness*. I haven't used either one of those two languages, but
> since having read about both systems, I can't help keeping a tag in my mind
> for each variable; "this one can be null", "this one can't be null"...
>
> * Is there anybody with experience using this concept of nullness in F# or
> Delight?
>
> * Are there any other languages with this concept?
>
> * I personally think it would be nice for D too. Your opinions?

I just read up on Delight for the first time last night, and I didn't
know it was more than just a syntactic wrapper around D.  The maybe
types sound like something I'd really like to try out.