SETS, TYPES, AND TYPE CHECKING

Summary from the TLDR Web Dev newsletter

Types are a way to provide information about the structure of expressions and data within programs. Types like `any`, `never`, `and`, and `or` are fundamental in JavaScript and TypeScript. Types can be verified through subtyping and disjoint-ness tests.