[Haskell-cafe] Re: Fwd: Is () a 0-length tuple?

Ketil Malde ketil at malde.org
Sun Nov 8 06:44:06 EST 2009


Jon Fairbairn <jon.fairbairn at cl.cam.ac.uk> writes:

> The "empty" type in Haskell would be (forall a.a) which has no
> non-bottom values.

With an extension, you can also define:

    data Void  -- without any constructors

which is perhaps closer to null types in other languages?

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants


More information about the Haskell-Cafe mailing list