The philosophy of Nothing

[Neal Gafter]

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

> Neal, can clarify this:
>
> > There are no elements of the type Nothing. Therefore all of the elements
> > of the type Nothing are elements of the type T, for every T.
>
> The first statement says there are no elements, but the second says
> there are elements.
>

No it doesn't.  It is a (vacuously) true statement that does not require the
existence of any elements.