Jon Fairbairn <jon.fairba...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
