TypeScript is often introduced as a way to add static types to JavaScript. But its real power becomes visible when we stop describing only the shape of data and start modeling relationships between data.

A common challenge in software development is that some values are not independent. One value determines which other values are valid.

TypeScript can help us express these relationships directly in the type system — and prevent invalid states before our code ever runs.