The TypeScript satisfies Operator in Practice
satisfies validates without widening. as forces a cast. Knowing the difference catches half the bugs in modern TS code.
TS strict mode, narrowing, the satisfies operator, conditional types — typed code that survives prod.
satisfies validates without widening. as forces a cast. Knowing the difference catches half the bugs in modern TS code.
strict turns on eight separate checks. This is what each one actually catches in production code.
If you've written TS for more than a week and you're not using discriminated unions, you're leaving correctness on the table.
typeof, instanceof, in, type predicates, assertion functions, exhaustive switches. Master these and the type system stops fighting you.
Generics are parameters for types. Once you see them as functions on types, the syntax becomes obvious.
Static types die at the network boundary. These three libraries pick up where TypeScript stops.