The philosophy of Nothing

Reinier Zwitserloot reinier at zwitserloot.com
Sun Nov 29 12:26:56 PST 2009


You've got it flipped around.

Nothing is a subtype of Object. (and of String, and of Number, and of
Integer, etc).

--Reinier Zwitserloot

Need to receive donations via the web?
Check https://tipit.to/



On Sun, Nov 29, 2009 at 9:22 PM, Paul Benedict <pbenedict at apache.org> wrote:

> I have a philosophical problem with this portion of the spec:
> > Nothing is a subtype of every obect type.
>
> How can something be a subtype of nothing? I think my philosophy
> professors would have flunked me in college if I were to assert that.
> :-)
>
> Are we really going to see java.lang.Object now as a subtype of
> java.lang.Nothing in the API docs?
>
> Paul
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20091129/4d0765c8/attachment.html 


More information about the closures-dev mailing list