The Comonad.Reader
comonad.com
A blog exploring functional programming, category theory, and type systems, with a focus on comonads and related abstractions.
A long-running technical blog that delves deeply into functional programming concepts, particularly comonads, recursion schemes, and type theory. The writing is dense and assumes a background in Haskell, but rewards careful reading with clear explanations of advanced patterns. Suitable for functional programmers and mathematically inclined developers seeking rigorous discourse.
Checked with Google Web Risk · 23 hours ago
- language
- EN
- here since
- July 2026