Haskell's kind system: a primer

Re:Haskell's kind system: a primer by kccqzy on Thursday October 18, 2018 @11:48AM (#18249308)

Are you just saying you don't like the term "kind" or something else? The name has been used since the last century.

[ Parent | on HN ]

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".

[ Parent | on HN ]

Re:Haskell's kind system: a primer by kccqzy on Thursday October 18, 2018 @12:59PM (#18250006)

I see. I think it's fine to overload an English word to have both a precise meaning or an informal one.

[ Parent | on HN ]