23 Oct
2006
23 Oct
'06
10:20 p.m.
On 23 Oct 2006 22:05:58 -0400, kahl@cas.mcmaster.ca
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?