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 mlazos on Thursday October 18, 2018 @06:44AM (#18247265)
actually I’ve seen sort used for kinds of kinds in some PL papers that I’ve read. Not sure how official it is, some PL researchers I’ve talked to say that they don’t go higher than sorts.
[ Parent | on HN ]

There are no comments on this comment yet.