8 Nov
2009
8 Nov
'09
11:44 a.m.
Jon Fairbairn
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