Help get this topic noticed by sharing it on Twitter, Facebook, or email.
I’m sad

Naming convention for "Higher kinded types" rather fits to "Higher kinded type parameters"

Section Higher-kinds, are not compliant regarding naming to the definition of HKTs in

I recommend to talk about "Higher kinded type parameters", rather than of higher kinded types for the explanation, because this is what the text
"Higher-kinds are theoretically no different from regular type parameters (except that their kind) is at least *=>* rather than simply *). The naming conventions are generally similar, however it is preferred to use a descriptive name rather than a single letter, for clarity:" is talking about.
1 person has
this problem