●序
●前言
●第1章類型檢查
●1.1為什麼使用類型檢查器
●1.2設置類型檢查器
●1.3類型標注語法
●1.4Hack的類型繫統
●1.5規則
●1.6類型推理
●1.7類型提煉
●1.8運行環境中的類型標注的執行
●第2章泛型
●2.1入門實例
●2.2其他泛型實體
●2.3類型消除
●2.4約束
●2.5重溫未決的類型
●2.6泛型和亞型
●2.7進階：協變和逆變
●第3章Hack的其他特性
●部分目錄

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

(美)歐文·山內(Owen Yamauchi) 著；蘇南 譯

前言在Facebook公司的大部分發展歷程中，每隔幾個月就會舉辦“黑客馬拉松（hackathons）”活動，活動的目的在於鼓勵工程師們踫撞出好的想法，而這些好的想法並不是和他們的日常工作相關的，他們自由組隊，然後在一兩天的時間內做出一些非常有意思的事情。    在2007年11月的一次“黑客馬拉松”活動上，誕生了一個非常有意思的實驗：一個工具能夠將PHP程序轉化為C++程序，然後還能夠用C++編譯器進行編譯。想法是C++程序將會比PHP原生的程序運行起來快很多，因為它可以得益於多年以來對C++編譯器的大量優化工作。    對於Facebook來說，這種可能性是非常有趣的，因為公司增加了大量新的用戶，而支持更多新的用戶需要耗費大量的CPU運算周期。所以當你耗盡所有可用的CPU運算周期後，除非你耗費大量財力購買更多等