Type Systems as Documentation

The best documentation is the kind that can’t go stale. Comments lie. READMEs drift. But types? Types are checked by the compiler every single time you build. A well-designed type system doesn’t just catch errors — it communicates intent.