Writing about type systems, compilers, functional programming, and the ideas that make software more expressive and correct.
Why treating an append-only log as the primary source of truth simplifies distributed state, enables replay-based recovery, and maps perfectly onto CQRS.
Product types, sum types, and why combining them gives you a small, complete algebra, explained through Java records and sealed interfaces. First in a series leading to algebraic effects.
How a self-referential type bound solves a real inheritance problem, why Java's own Enum uses the same trick, and what it all means in practice.