Blog

Essays on software engineering and other things

A gopher dressed in holy robes, radiating light

A Purist's Guide to Type-Driven Design

Using the Go type system to make invalid states unrepresentable.