A Pointless Library Proposal

[kahl at cas.mcmaster.ca]

Samuel Bronson <naesten at gmail.com> wrote:
 > 
 > On 10/23/06, John Meacham <john at repetae.net> 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