What type functions mean on a language level

[Stefan Koch]

On Friday, 1 January 2021 at 23:32:25 UTC, 12345swordy wrote:
> 
> Why can't __type__ be named "any" as indication that it is a 
> top type for all types?

__type__ is the type of types, it is not Top.
well technically it's the type of type values which are not types 
themselves but may be converted to types, and be created from 
types.

Also the name any is already used by phobos templates, making it 
unavailable.

After type functions are in; I plan on generalizing further and 
introduce a proper TOP type.
Which can bind to anything (like T... in a template)

But for now I want to gently introduce the concept.