Re: A Pointless Library Proposal

Samuel Bronson wrote:

On 10/23/06, John Meacham wrote:

...

On Mon, Oct 23, 2006 at 03:26:33PM +0100, Conor McBride wrote:

...

data Bottom Why not "data Void"?

I'd say that ``Void'' is not a desirable candidate since too many people know C, and the C type ``void'' corresponds to ``()'' (or ``IO ()''...) (One name I have used before is ``Empty'', but I find ``Zero'' and ``Absurdity'' appropriate, too. ``Absurd'' perhaps sounds more like a value than like a type...) Wolfram