常见的Bug通常是数据类型不匹配的结果。通过准确地指定及控制在计算中允许使用哪些数据，强类型系统能够消除多种错误，并确保应用程序中的数据完整性。作为一名开发人员，在日常工作中巧妙地使用类型能够写出更好的代码，提高查找与数据相关的棘手错误的效率。
本书讲解基于类型的技术，可用来编写安全、正确和容易维护的软件。这本清晰易懂的教程主要面向有一定编程经验(如TypeScript、Java、JavaScript、C#或C++等主流编程语言使用经验)的开发人员，侧重于介绍类型系统为日常编程工作带来的好处。通过学习使用TypeScript编写的真实示例，你将全面了解类型系统在编程中的应用技巧。

弗拉德·里斯库迪亚(Vlad Riscutia)，Microsoft的首席软件架构师，领导开发了几个大型软件项目，并指导了许多初级软件工程师。

前言
致谢
关于本书
类型及可能的取值
常用算法
第1章 类型简介
1.1 为什么存在类型
1.1.1 0和1
1.1.2 类型和类型系统的定义
1.2 类型系统的优点
1.2.1 正确性
1.2.2 不可变性
1.2.3 封装
1.2.4 可组合性
1.2.5 可读性
1.3 类型系统的类型
1.3.1 动态类型和静态类型
1.3.2 弱类型与强类型
1.3.3 类型推断
小结
第2章 基本类型
2.1 设计不返回值的函数
2.1.1 空类型
2.1.2 单元类型
2.1.3 习题
2.2 布尔逻辑和短路
2.2.1 布尔表达式
2.2.2 短路计算
2.2.3 习题
2.3 数值类型的常见陷阱
2.3.1 整数类型和溢出
2.3.2 浮点类型和圆整
2.3.3 任意大数
2.3.4 习题
2.4 编码文本
2.4.1 拆分文本
2.4.2 编码
2.4.3 编码库
2.4.4 习题
2.5 使用数组和引用构建数据结构
2.5.1 固定大小数组
2.5.2 引用
2.5.3 高效列表
2.5.4 二叉树
2.5.5 关联数组
……
第3章 组合
第4章 类型安全
第5章 函数类型
第6章 函数类型的高级应用
第7章 子类型
第8章 面向对象编程的元素
第9章 泛型数据结构
第10章 泛型算法和迭代器
第11章 高阶类型及其他
附录A TypeScript的安装及本书的源代码
附录B TypeScript 速览表