Hack與HHVM權威指南 Hack与HHVM权威指南

本書講述Hack語言所特有的靜態類型檢查及其他新特性。正是這些特性將Hack和PHP有效區分開。同時，介紹HHVM的建立、配置、部署以及日常監測。對於已有PHP或其他語言開發經驗的人來說，這將是比較容易學習和掌握的。本書還將演示如何在已有的PHP項目或者新的類似項目上使用這些新的工具。

作者:(美)歐文·山內譯者:蘇南

Owen Yamauchi是一名就職於Facebook“Hack與HHVM”團隊的軟件工程師。

在2009年就職於Facebook公司前，他曾經在蘋果公司擔任軟件工程師，還曾經在VMwa re公司實習。

目錄
 

序1 
 

前言3 
 

第1章類型檢查11 
1.1為什麼使用類型檢查器11 
1.2設置類型檢查器12 
1.3類型標註語法14 
1.4 Hack的類型系統16 
1.5規則28 
1.6類型推理35 
1.7類型提煉39 
1.8運行環境中的類型標註的執行45 

第2章泛型47 
2.1入門實例47 
2.2其他泛型實體49 
2.3類型消除51 
2.4約束53 
2.5重溫未決的類型55 
2.6泛型和亞型56 
2.7進階：協變和逆變59 

第3章Hack的其他特性64 
3.1枚舉64 
3.2類型別名67 
3.3數組形狀71 
3.4拉姆達表達式73 
3.5構造函數參數升級75 
3.6屬性76 
3.7加強的自動加載80 
3.8整數算術溢出83 
3.9 nullsafe方法調用操作83 
3.10 trait和接口的必要條件84 
3.11隱藏類型檢查器錯誤86 

第4章在Hack中不支持的PHP特性88 
4.1引用88 
4.2舊式風格構造器90 
4.3不區分大小寫的名稱查找91 
4.4可變變量91 
4.5動態屬性92 
4.6混合方法調用語法92 
4.7 isset、empty和unset93 
4.8其他94 

第5章集合96 
5.1為什麼使用集 98 
5.2集合擁有引用語義99 
5.3使用集合101 
5.4集合類型標註107 
5.5與數組互操作116 

第6章異步120 
6.1入門實例121 
6.2異步細節124 
6.3構建異步代碼134 
6.4其他類型的等待141 
6.5常見錯誤144 
6.6異步擴展148 

第7章XHP157 
7.1為什麼使用XHP157 
7.2如何使用XHP161 
7.3創建你自己的XHP類168 
7.4 XHP最佳實踐178 
7.5遷移到XHP182 
7.6 XHP內部原理185 

第8章配置和部署HHVM188 
8.1指定配置選項188 
8.2服務器模式190 
8.3 JIT熱身192 
8.4 repo-authoritative模式193 
8.5管理服務器195 

第9章hphpd：交互式調試器197 
9.1開始入門197 
9.2代碼執行200 
9.3執行環境201 
9.4使用斷點205 
9.5查看代碼和文檔216 
9.6宏219 
9.7配置hphpd220 

第10章Hack工具223 
10.1檢查代碼庫223 
10.2遷移PHP代碼到Hack227 
10.3編譯Hack代碼到PHP代碼232