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

[Ketil Malde]

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