《Hack與HHVM權威指南》——第1章 類型檢查

類型檢查

類型檢查器是hack語言的标志特性，它對hack程式靜态地進行分析（不用運作它們），并且能夠檢查很多種錯誤。這就能夠在程式開發初期盡量避免bug，并且使程式更容易閱讀和了解。為了增強類型檢查器的能力，hack語言允許程式設計人員顯式地在程式體中标注某些變量值的類型，比如函數參數、函數傳回值和屬性值，類型檢查器将推斷出剩下的内容。

關于程式設計語言靜态類型化還是動态類型化的争論在程式員中一直都存在。争論的焦點通常表現為靜态類型的魯棒性和動态類型的靈活性之間的選擇。hack語言的哲學拒絕認同這個虛假的二分法論斷。hack語言作為一門動态類型的語言，在保留php的靈活、可快速開發特性的同時，增加了一層強健且精妙的類型檢查器。

在本章，我們将了解為什麼需要使用類型檢查器，怎麼使用類型檢查器，以及如何給變量标注類型。