On Wednesday, 19 July 2017 at 10:35:37 UTC, 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.
Actually, Object should be considered the Top type. All Classes
are sub-classes of Object.