Seriously! TypeScript — From Type Design to Type-Level Programming

Do you add type annotations, yet do invalid data still only blow up at runtime? This course, based on TypeScript 7, covers everything from designing domains so invalid states cannot compile in the first place to writing programs that run inside the type checker. You’ll build five CLIs yourself, and by the end, complete a compiler that compiles your own small language into JavaScript.