序

前言

第1章 类型检查

1.1为什么使用类型检查器

1.2设置类型检查器

1.3类型标注语法

1.4 Hack的类型系统

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.9 nullsafe方法调用操作

3.10 trait和接口的必要条件

3.11隐藏类型检查器错误

第4章 在Hack中不支持的PHP特性

4.1引用

4.2 旧式风格构造器

4.3不区分大小写的名称查找

4.4可变变量

4.5动态属性

4.6混合方法调用语法

4.7 isset、 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.4 XHP最佳实践

7.5迁移到XHP

7.6 XHP内部原理

第8章 配置和部署HHVM

8.1指定配置选项

8.2服务器模式

8.3 JIT热身

8.4 repo-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代码