Re:Haskell's kind system: a primer
by MaxBarraclough on Thursday October 18, 2018 @12:42PM
(#18249837)
I suppose I wasn't clear.
In my experience, in computer science, "kind" is generally used in an informal way, whereas "type" is used to refer to the technical concept of type in type systems.
If Haskell gives a precise meaning to "kind", I'm going to have be careful which word I use to refer to the informal concept.
As I said, type theorists say things like "Type systems let us reify what kind of data we are dealing with".
In my experience, in computer science, "kind" is generally used in an informal way, whereas "type" is used to refer to the technical concept of type in type systems.
If Haskell gives a precise meaning to "kind", I'm going to have be careful which word I use to refer to the informal concept.
As I said, type theorists say things like "Type systems let us reify what kind of data we are dealing with".