Programming · by Lucas Dubois · 2026-10-18
Types of types: Haskell's kind system explained
42 sparks · 11 comments
Programming · by Lucas Dubois · 2026-10-18
42 sparks · 11 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