[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!)
From: |
Reuben Thomas |
Subject: |
bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!) |
Date: |
Sun, 11 Sep 2011 09:13:00 +0100 |
On 11 September 2011 05:56, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
>
> It's still not typeless: it's just that the type you get gives you no
> information about the data.
Moreover, in C, in which types are not first-class objects, no type
has a type, so every type is a typeless type.
I agree, BTW, that "unit type" is a better description of void than my
original "empty type".
--
http://rrt.sc3d.org