Type Safety as Documentation.
September 28, 2025The best documentation is the kind that can't go out of date. Types are executable specifications—they describe what your code does, and the compiler ensures the description is accurate.
The best documentation is the kind that can't go out of date. Types are executable specifications—they describe what your code does, and the compiler ensures the description is accurate.
I spend most of my day in a terminal. Not out of nostalgia, but because it remains the most efficient interface for the work I do.
There is a strange gravity to complexity. We start with a simple function, a clear purpose, and slowly, feature by feature, we lose the plot.