TypeScript 是在众多编译到 JavaScript 语言中的佼佼者。脱胎与成长在 JavaScript 工业界的 TypeScript 拥有一个独特的类型系统：既秉承了工业语言的易上手和不准确, 又拥有不亚于学术语言的强大和表现力。本次演讲便会剖析为何 TypeScript 会拥有如此独树一帜的类型系统。

在横向上，将会比较 TypeScript 与其他 AltJS 的异同，归纳出 TypeScript 的设计理念和语言特色。在纵向上，演讲会回顾 TypeScript 自 1.0 正式版到如今 2.4 版本中逐渐增加的特性，我们会看到 TypeScript 是如何慢慢进化出一套为 JavaScript 度身定制的类型系统。TS 的成功除了独特设计外也离不开她稳固的实现。我们会一同回顾 TS 逐步增加的语言功能：包括自动类型定义获取，语言服务插件，代码生成转换器等等。通过 TypeScript，我们能看到现代编程语言在设计与实现的些许经验。