4 posts on types, compilers, and functional programming.
How structured concurrency applies the same insight Dijkstra used to abolish goto — and why the result looks a lot like the composable, effect-explicit model functional programmers have been building toward for decades.
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.