本节书摘来自华章出版社《Hack与HHVM权威指南》一书中的第1章，第1节，作者 Owen Yamauchi，更多章节内容可以访问云栖社区“华章计算机”公众号查看。

第1章

类型检查
类型检查器是Hack语言的标志特性，它对Hack程序静态地进行分析（不用运行它们），并且能够检查很多种错误。这就能够在程序开发初期尽量避免bug，并且使程序更容易阅读和理解。为了增强类型检查器的能力，Hack语言允许编程人员显式地在程序体中标注某些变量值的类型，比如函数参数、函数返回值和属性值，类型检查器将推断出剩下的内容。
关于编程语言静态类型化还是动态类型化的争论在程序员中一直都存在。争论的焦点通常表现为静态类型的鲁棒性和动态类型的灵活性之间的选择。Hack语言的哲学拒绝认同这个虚假的二分法论断。Hack语言作为一门动态类型的语言，在保留PHP的灵活、可快速开发特性的同时，增加了一层强健且精妙的类型检查器。
在本章，我们将了解为什么需要使用类型检查器，怎么使用类型检查器，以及如何给变量标注类型。