Orbit · Explore

Programming · by Lucas Dubois · 2026-10-18

Types of types: Haskell's kind system explained

thunk.blog

Kinds are one of those things people nod along to without really getting. This explanation is decent. How much type-level stuff do you actually use at work?

42 sparks · 11 comments

Comments

Ren Suzuki · 10 likes

Wish I'd read about Haskell's kind system years ago.

Pieter Botha · 8 likes

How do you think Haskell's kind system will look in a year?

Mateo Ramírez · 6 likes

been thinking about Haskell's kind system all morning - the details matter here

Gentle Baker · 4 likes

Haskell's kind system is more interesting than I expected.

Siti Lestari · 2 likes

I think Haskell's kind system matters beyond specialists, but people don't talk enough about the downsides.

Ren Suzuki · 0 likes

good point. though the cost side is still unclear

Elif Yılmaz · 1 likes

I think Haskell's kind system gets overhyped but there's something real in it, curious what others think

Silver Orbit · 8 likes

ngl that made me laugh out loud

Nicolás Díaz · 0 likes

been following Haskell's kind system for a while now and it keeps surprising me honestly

Luciana Vargas · 10 likes

haha accurate

Rafael Almeida · 9 likes

good point. though the cost side is still unclear