TypeScript 是一种由微软开发的自由和开源的编程语言，它是 JavaScript 的一个超集，扩展了 JavaScript 的语法。

本部分介绍一些高级的类型与技术。

之前学习过，接口(Interfaces)可以用于对「对象的形状(Shape)」进行描述。

这一章主要介绍接口的另一个用途，对类的一部分行为进行抽象。

传统方法中，JavaScript 通过构造函数实现类的概念，通过原型链实现继承。而在 ES6 中，我们终于迎来了 class。

TypeScript 除了实现了所有 ES6 中的类的功能以外，还添加了一些新的用法。

这一节主要介绍类的用法，下一节再介绍如何定义类的类型。

如果定义了两个相同名字的函数、接口或类，那么它们会合并成一个类型:

枚举(Enum)类型用于取值被限定在一定范围内的场景，比如一周只能有七天，颜色限定为红绿蓝等。

此处记录了官方手册(中文版)中包含，但是本书未涉及的概念。

泛型(Generics)是指在定义函数、接口或类的时候，不预先指定具体的类型，而在使用的时候再指定类型的一种特性。

字符串字面量类型用来约束取值只能是某几个字符串中的一个。

数组合并了相同类型的对象，而元组(Tuple)合并了不同类型的对象。

元组起源于函数编程语言(如 F#)，这些语言中会频繁使用元组。