HipHop虚拟机（HHVM）和Hack（语言这两项新的技术已经成功应用在Facebook网站上。那么我们又如何能从中获益呢？
　　通过本书的学习，来自Facebook“Hack与HHVM”团队的核心成员OwenYamauchi，将带你领略这久经考验的开源工具的魅力。
　　你将领略到Hack（语言所特有的静态类型检查及其他新特性。正是这些特性将Hack（和PHP有效区分。同时，你还可以学到HFIVM的建立、配置、部署以及日常监测。对于已有PHP或其他编程语言开发经验的人来说，这是比较容易学习和掌握的。欧文·山内编写的本书还将演示如何在已有的PHP项目或者新的类似项目上使用这些工具。

　　在Facebook公司的大部分发展历程中，每隔几个月就会举办“黑客马拉松（hackathons）”活动，活动的目的在于鼓励工程师们碰撞出好的想法，而这些好的想法并不是和他们的日常工作相关的，他们自由组队，然后在一两天的时间内做出一些非常有意思的事情。在2007年11月的一次“黑客马拉松”活动上，诞生了一个非常有意思的实验：一个工具能够将PHP程序转化为C++程序，然后还能够用C++编译器进行编译。想法是C++程序将会比PHP原生的程序运行起来快很多，因为它可以得益于多年以来对C++编译器的大量优化工作。
　　对于Facebook来说，这种可能性是非常有趣的，因为公司增加了大量新的用户，而支持更多新的用户需要耗费大量的CPU运算周期。所以当你耗尽所有可用的CPU运算周期后，除非你耗费大量财力购买更多的CPU，用来支持日益增多的用户所带来的CPU运算能力的需求，否则你必须寻找一个方法来降低每个用户的CPU消耗。由于Facebook整个网站的前端都是用PHP语言编写的，所以任何使PHP代码耗费更少CPU运算周期的新技术都受到欢迎。
　　在接下来的7年时间里，这个项目的发展远远超出了最开始在“黑客马拉松”中的起点。PHP到C++的转换器称为HPHPc，在2009年的时候它成为支撑Fackbook网页业务唯一的服务器端引擎。在2010年年初，它以“HipHopforPHP”的名字开源了。然后从2010年起，一个全新的方法用来执行——即时编译为机器代码，并没有C++牵扯其中一一脱胎换骨于HPHPc的代码库，并最终取代它。这个即时的编辑器称为“HipHop虚拟机”，简称为HHVM，并且在2013年的早期彻底取代了Facebook的网站服务器集群。早期的PHP到C++的转换器消失了，它没有在任何地方进行部署，同时它的代码都被删除了。
　　而Hack的起源是完全分开的，其根源在于试图在PHP中使用静态分析以自动探测潜在的安全漏洞的一个项目。很快，事实证明，PHP的本质使得它在非常有用的静态分析方面很难有所进展。于是“严格模式（strictmode）”的想法就诞生了。对PHP进行修改，增加一些新的特性，比如引用、删除和添加一个补充的复杂类型系统。PHP代码的作者可以自由选择是否使用严格模式，在保持完整的互操作性同时，获得更加强大的代码检查能力。
　　Hack的方向从那时开始就作为基于PHP的类型系统掩盖了其本质。它在构建Hack编码的道路上获得了很多有重大影响的新特性，比如异步函数。它添加了很多包括集合在内的新特性，使得类型系统更加强大。本质上来说，它是一门和PHP不同的新语言，它已经在编程语言方面取得了自己的新位置。
　　以上就是Hack的发展历程，目前Hack是一门现代化的动态编程语言，它拥有鲁棒的静态类型检查能力，在HHVM上执行。HHVM是一个和PHP无缝兼容且具有互操作性的实时编译运行时引擎。
查看全部↓

　　Owen Yamauchi，一名就职于Facebook“Hack与HHVM”团队的软件工程师。在2009年就职于Facebook公司前，他曾经在苹果公司担任软件工程师，还曾经在VMware公司实习。

序
前言


第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代码
查看全部↓