What type functions mean on a language level

[Jacob Carlborg]

On 2021-01-02 00:26, Stefan Koch wrote:

> Specification wise type functions require two statements to be added.
> 
> "Under certain conditions a type may be implicitly converted to a value 
> of type __type__."
> and
> "Under certain conditions a value of type __type__ may be converted to a 
> type."

"certain conditions" is not suitable for a specification. You need to 
specify all conditions, all details.

> That's it.

You need to specify what __type__ is as well. A keyword? A special 
symbol like __FILE__?

-- 
/Jacob Carlborg