A Pointless Library Proposal

Samuel Bronson naesten at gmail.com
Mon Oct 23 22:20:04 EDT 2006


On 23 Oct 2006 22:05:58 -0400, kahl at cas.mcmaster.ca
<kahl at cas.mcmaster.ca> wrote:

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

So how come whenever I say that, someone invariably corrects me that
C's void type is uninhabited, whereas the () type is inhabited by ()?
And that a real void-alike wouldn't have any constructors?


More information about the Libraries mailing list