Types of types: Haskell's Kind system

Re:Types of types: Haskell's Kind system by girvo on Saturday October 17, 2026 @07:07PM (#50136005)

And here I was convinced that they’re burritos!

I will say that explaining functors to my coworkers was always much simpler, and then naturally led to monads

[ Parent | on HN ]

Re:Types of types: Haskell's Kind system by hexasquid on Saturday October 17, 2026 @09:13PM (#50136856)

I suspect all branches of tech have their rite of passage.

For haskellers, it is writing a monad tutorial

For javascripters, it is writing a framework

For make-stuff-with-LLM people, it is producing a diagram explaining your code generation factory

... and so on

[ Parent | on HN ]