Re: A Pointless Library Proposal

On Tue, 23 Oct 2006 kahl@cas.mcmaster.ca wrote:

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 ()''...)

It doesn't, we just use () for similar things. You can't have a value of type void in C - don't confuse a denotational semantics of C with C itself. -- flippa@flippac.org 'In Ankh-Morpork even the shit have a street to itself... Truly this is a land of opportunity.' - Detritus, Men at Arms