programming-language-theory

Tag

Cards List
#programming-language-theory

Types of types: Haskell's Kind system

Hacker News Top ↗ · 2026-10-14 Cached

A blog post explaining Haskell's Kind system, covering values, types, kinds, higher-kinded types/data, and custom kinds through the author's experience adding typed configuration to a Haskell Redis server clone.

0 favorites 0 likes
← Back to home

Submit Feedback