TypeScript

Types for JavaScript: from annotations to type-level programming.

Static typing step by step: narrowing, generics, utility and conditional types, classes, declarations and migrating real code.

Main path: 23 steps.