It happens that I currently work on the same subject, hence a few remarks:
Every type has a kind (denoted as *), not only type constructors
A proper type has kind * and a type constructor may have kind * -> * for instance
a type constructor is like a value constructor (or function in TS) but exists only on the type level
a higher-kinded (or higher-order) type is a type constructor that takes another type constructor and the necessary number of types to create a new type
a higher-kinded type constructor is like a higher-order function but exists only on the type level
it may have kind (* -> *) -> * -> * for example
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
It happens that I currently work on the same subject, hence a few remarks:
*
), not only type constructors*
and a type constructor may have kind* -> *
for instance(* -> *) -> * -> *
for example