News for hackers. Stuff that matters.

A comment on Haskell's kind system: a primer. Parent comment

Re:Haskell's kind system: a primer by lmm on Thursday October 18, 2018 @04:56AM (#18246936)
Kinds are a distinct concept from types, and that concept needs a name, and it's best to choose a name where the intuitive meaning of the name aligns with the technical one (indeed Haskell attracts a lot of criticism when it uses names like "monad" that don't have a "fuzzy" meaning).

It goes even further: types-of-kinds are called "sorts", though in Haskell there's only one possible sort of kind.

There are only two hard problems in computer science, after all.

[ Parent | on HN ]
Re:Haskell's kind system: a primer by Intermernet on Thursday October 18, 2018 @08:12AM (#18247588)
>There are only two hard problems in computer science, after all.

Including off-by-one errors, there are four.

[ Parent | on HN ]
Re:Haskell's kind system: a primer by MaxBarraclough on Thursday October 18, 2018 @09:40AM (#18248193)
Maybe we should add 'induction' to the list.
[ Parent | on HN ]
Re:Haskell's kind system: a primer by jacobush on Thursday October 18, 2018 @05:51AM (#18247112)
Naming and ??

(Computability?)

[ Parent | on HN ]
Re:Haskell's kind system: a primer by hiker on Thursday October 18, 2018 @06:04AM (#18247146)
"There are only two hard things in Computer Science: cache invalidation and naming things." -- Phil Karlton

But I do like "Computability and naming things" better.

[ Parent | on HN ]
Re:Haskell's kind system: a primer by gpderetta on Thursday October 18, 2018 @07:22AM (#18247390)
There are only two hard things in Computer Science: cache invalidation, naming things and off by one errors. -- Anonymous
[ Parent | on HN ]