The Philosophy of Nothing

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


On Sat, Dec 5, 2009 at 4:46 AM, Reinier Zwitserloot <reinier at zwitserloot.com
> 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...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20091205/1b4419c1/attachment.html 


More information about the closures-dev mailing list