Oleg Grenrus - @phadej
oleg.fi
A personal blog by Oleg Grenrus, covering functional programming, type theory, and Haskell.
Oleg Grenrus writes about Haskell and type theory with technical precision. The posts often explore advanced topics in compiler design, category theory, and functional programming abstractions. It suits readers who enjoy deep dives into programming language theory.
Checked with Google Web Risk · 12 hours ago
- language
- EN
- here since
- July 2026