The Philosophy of Nothing

[Neal Gafter]

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