Jon Fairbairn <[email protected]> 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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
