TypeScript as a Contract Language

Types are promises the compiler enforces — write them for readers too.

[ essay ]

TypeScript does not replace design; it documents intent under change pressure. Strict mode is kindness to future teammates.

Practice: prefer explicit return types on public APIs; discriminated unions for state machines; avoid any as debt you hide from CI.

— JV · Dark Heart Labs.