> Suggestion: Include among the basic types of Haskell a type `Empty'
> that contains no value except bottom.
Absolutely! But I don't think it should be built in
(unless absolutely necessary).
It looks ugly, but we could say that a data declaration does not
have to have any constructors:
data Empty =
-- Lennart
PS. There are other ways of getting empty types, but they are
all convoluted, like
data Empty = Empty !Empty
- Haskell 1.3 ian
- Haskell 1.3 ian
- Haskell 1.3 ian
- Re: Haskell 1.3 kh
- Haskell 1.3 "John C. Peterson"
- Re: Haskell 1.3 John Hughes
- Re: Haskell 1.3 John Launchbury
- Re: Haskell 1.3 wadler
- Haskell 1.3 Philip Wadler
- Re: Haskell 1.3 Lennart Augustsson
- Re: Haskell 1.3 Lennart Augustsson
- Re: Haskell 1.3 Philip Wadler
- Re: Haskell 1.3 Magnus Carlsson
- Re: Haskell 1.3 Ron Wichers Schreur
- Haskell 1.3 Frank Christoph
- Re: Haskell 1.3 peterson-john
