TypeScript: Static types for JavaScript
summary
Adds a static, erasable type layer to JavaScript that compiles back to plain JS, ships since October 2012, and now ranks in the top five languages on GitHub; enables editor features by implementing the TypeScript compiler as a language service used by VS Code, uses erasable types so runtime is unchanged, and supports union and intersection types, literal types, generics, JSDoc input, declaration files and a strict mode. The type system is gradual, structural, Turing‑complete in types (so a turtle limiter and heuristics throttle complexity) and has driven wide framework adoption.
AI-written summary · about
chapters (12)
- 0:00TypeScript introduction
- 3:11Why TypeScript for JS
- 8:33Design principles
- 14:12Gradual typing and 'any'
- 21:47Structural vs nominal typing
- 25:21Union and literal types
- 31:27Discriminated unions analysis
- 37:08Indexing with unions and generics
- 42:58Conditional types
- 47:35Tuple types and higher-order functions
- 51:53TypeScript success and future
- 54:42Q&A
related talks
24mTypeScript: Static types for JavaScript
33mTypeScript - JavaScript you are gonna love
20mTypeScript and ES6
39mTypeScript: Why? When? How?
24mTypeScript and how I've learned to love the compiler
40mTypeScript: State of the Union
57mTypeScript : More than just another JS transpiler
46mTypeScript all the things!