本书讲述Hack语言所特有的静态类型检查及其他新特性。正是这些特性将Hack和PHP有效区分开。同时，介绍HHVM的建立、配置、部署以及日常监测。对于已有PHP或其他语言开发经验的人来说，这将是比较容易学习和掌握的。本书还将演示如何在已有的PHP项目或者新的类似项目上使用这些新的工具。

欧文·山内，是一名就职于Facebook“Hack与HHVM”团队的软件工程师。在2009年就职于Facebook公司前，他曾经在苹果公司担任软件工程师，还曾经在VMwa re公司实习。

序
前言
第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的其他特性
3.1枚举
3.2类型别名
3.3数组形状
3.4拉姆达表达式
3.5构造函数参数升级
3.6属性
3.7加强的自动加载
3.8整数算术溢出
3.9nullsafe方法调用操作
3.10trait和接口的必要条件
3.11隐藏类型检查器错误
第4章在Hack中不支持的PHP特性
4.1引用
4.2旧式风格构造器
4.3不区分大小写的名称查找
4.4可变变量
4.5动态属性
4.6混合方法调用语法
4.7isset、empty和unset
4.8其他
第5章集合
5.1为什么使用集合
5.2集合拥有引用语义
5.3使用集合
5.4集合类型标注
5.5与数组互操作
第6章异步
6.1入门实例
6.2异步细节
6.3构建异步代码
6.4其他类型的等待
6.5常见错误
6.6异步扩展
第7章XHP
7.1为什么使用XHP
7.2如何使用XHP
7.3创建你自己的XHP类
7.4XHP佳实践
7.5迁移到XHP
7.6XHP内部原理
第8章配置和部署HHVM
8.1指定配置选项
8.2服务器模式
8.3JIT热身
8.4repo-authoritative模式
8.5管理服务器
第9章hphpd：交互式调试器
9.1开始入门
9.2代码执行
9.3执行环境
9.4使用断点
9.5查看代码和文档
9.6宏
9.7配置hphpd
第10章Hack工具
10.1检查代码库
10.2迁移PHP代码到Hack
10.3编译Hack代码到PHP代码