Learning TypeScript

This post introduces branded types (or opaque types) in TypeScript and their usefulness in ensuring type safety by differentiating between structurally similar types. It covers the need for branded types, how to implement them using 'as' assertions and type predicates, and presents various use cases for branded numbers and strings. It also discusses community libraries like ts-brand and Effect TS that simplify using branded types. Alternatives such as unions, enums, and template literal types are explored, along with the concept of wrappers for ensuring utmost safety in type validation.