Type-Driven Refactoring in Practice

Abstract

Large refactors fail when they depend on human attention across hundreds of call sites. This tutorial demonstrates a workflow that turns the TypeScript compiler into the driver: make the desired end state impossible to misuse, let the type errors enumerate the work, and land the change in mechanical, reviewable steps.