On 19.07.2017 12:35, Stefan Koch wrote:
On Wednesday, 19 July 2017 at 10:24:35 UTC, Marc Schütz wrote:
On Sunday, 16 July 2017 at 20:44:13 UTC, Andrei Alexandrescu wrote:
Perhaps we go the inverse route and define the bottom type as
typeof(*null). Would that simplify matters? There is some good
consistency about it:
null: a pointer to anything. But can't be dereferenced.
*null: well, therefore... anything. But can't be created.
That sounds more like a top type, though, because as you said it can
be "anything". A bottom type can not be anything, but only nothing.
It's the bottom.
Bottom is to Types, as Object is to Classes.
No. Bottom is to types as typeof(null) is to class types.
