The Philosophy of Nothing

Neal Gafter neal at
Sat Dec 5 09:06:29 PST 2009

On Sat, Dec 5, 2009 at 4:46 AM, Reinier Zwitserloot <reinier at
> wrote:

> One could claim then that type casting causes weirdness to ensue, such as:
> Nothing x = getInstanceOfNothing();
> throw (IOException)x;

I don't think you can declare a variable to be of type Nothing (any more
than you can declare one to be of type void).  It isn't useful to do so, and
disallowing it doesn't prevent you from doing anything useful.
-------------- next part --------------
An HTML attachment was scrubbed...

More information about the closures-dev mailing list