Typed JavaScript? For real? The “type annotations” proposal and what it’s all about

on YouTube ↗30m

" summary

A TC39 Stage 1 proposal reserves explicit syntax spots so type annotations become legal JS, with the key claim that types are ignored at runtime (runtime treats them like comments) while third‑party checkers consume them; parsing uses balanced delimiters to skip annotations, and GitHub stats showing heavy TypeScript usage motivate the change. The talk lists concrete tradeoffs (tooling simplification, payload and beginner concerns), open problems (imports, overloads, enums excluded) and community pushback.

AI-written summary · about

" chapters (16)

1. 0:00Start
2. 0:40What Are the Three Biggest Trends in Javascript for the Last 10 Years
3. 0:53Three Biggest Trends in Javascript Development
4. 1:22Proposal for Enhancing Javascript
5. 3:59What Is Tc39
6. 8:28The Type Annotation Syntax Space
7. 9:37Why Add Type Annotations if They'Re Going To Be Ignored
8. 10:02Summary
9. 13:12State of Javascript Static Typing in 2020
10. 13:47Why Not To Add Types to Javascript
11. 14:07Types Are Difficult for Beginners To Grasp
12. 21:08Why Not Fully Embrace Type Syntax
13. 22:13Why Not Build a Type System
14. 25:04How Does Javascript Know To Ignore the Types
15. 27:01Generics
16. 28:33Function Overloads

" related talks

• 25mStatic types in JavaScript: what, how and whyDmitry Jemerov · JSConf EU 2013
• 24mTypeScript for JavaScriptiesJosh Goldberg · CityJS Athens 2023
• 26mJavaScript Tools at Scale Using Type InformationMark Knichel · JSConf EU 2014
• 57mTypeScript : More than just another JS transpilerBasarat Ali Syed · NDC Sydney 2016
• 01h 02mExploring TypeScriptVenkat Subramaniam · Great Indian Developer Summit 2015
• 01h 00mNew Features in TypeScript 2 and beyondBasarat Ali Syed · NDC Sydney 2017
• 25mWhy static types in Javascript? — Preethi KasireddyPreethi Kasireddy · JAMstack Conf 2017
• 36mStarting TypeScript Leaving JavaScript as JSTakanashi Ginpei · JSConf JP 2019