《Hack與HHVM權威指南》——1.6 類型推理

類型推理對于hack的靜态類型檢查來說是核心内容。就像php中一樣，本地變量不會被聲明為某個類型。然而，得到足夠數量的有效覆寫率的關鍵就在于能夠對本地變量的操作進行類型檢查。

hack能夠無間隙地進行類型推理。類型檢查器從一小組從标注或者字面量上的已知類型入手，然後通過操作符和函數調用進行有效的跟蹤，然後順勢對一切進行推斷和檢查。

hack的類型推理方式并不是一眼就能看懂的。讓我們仔細閱讀如下的内容來獲得更多的細節。