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 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 ]