A Pointless Library Proposal

[Philippa Cowderoy]

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

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

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 at flippac.org

'In Ankh-Morpork even the shit have a street to itself...
 Truly this is a land of opportunity.' - Detritus, Men at Arms