Branded Types in TypeScript

Introduction When I built Jotai from scratch, I needed to use branded types. In this post, I wanna go over what they are and when they're useful. It shouldn't be a long one. Typing in TypeScript type UserID = string; type PostID = string; function g...