There's a moment in every developer's career when they realize the best bugs are the ones that never make it to production. Better yet are the bugs that never make it past your code editor. TypeScript gives us a powerful tool to achieve this: making invalid states unrepresentable.

This isn't about catching typos or getting autocomplete (though...