Coherence and orphan instance rules

Why I'm excited about effect systems (2025)

When is inlining useful?

Exploring parsing APIs: the cost of recursion

Exploring parsing APIs: what to generate, and how

OOP is not that bad, actually

My thoughts on OCaml

Products and sums, named and anonymous

On sufficiently smart compilers