本文共 304 字，大约阅读时间需要 1 分钟。
类型推理对于Hack的静态类型检查来说是核心内容。就像PHP中一样，本地变量不会被声明为某个类型。然而，得到足够数量的有效覆盖率的关键就在于能够对本地变量的操作进行类型检查。
Hack能够无间隙地进行类型推理。类型检查器从一小组从标注或者字面量上的已知类型入手，然后通过操作符和函数调用进行有效的跟踪，然后顺势对一切进行推断和检查。Hack的类型推理方式并不是一眼就能看懂的。让我们仔细阅读如下的内容来获得更多的细节。转载地址：http://dpyyo.baihongyu.com/