新書推薦:
《
自由,不是放纵
》
售價:NT$
250.0
《
甲骨文丛书·消逝的光明:欧洲国际史,1919—1933年(套装全2册)
》
售價:NT$
1265.0
《
剑桥日本戏剧史(剑桥世界戏剧史译丛)
》
售價:NT$
918.0
《
中国高等艺术院校精品教材大系:材料的时尚表达??服装创意设计
》
售價:NT$
347.0
《
美丽与哀愁:第一次世界大战个人史
》
售價:NT$
653.0
《
国家豁免法的域外借鉴与实践建议
》
售價:NT$
857.0
《
大单元教学设计20讲
》
售價:NT$
347.0
《
儿童自我关怀练习册:做自己最好的朋友
》
售價:NT$
316.0
|
內容簡介: |
本书讲述Hack语言所特有的静态类型检查及其他新特性。正是这些特性将Hack和PHP有效区分开。同时,介绍HHVM的建立、配置、部署以及日常监测。对于已有PHP或其他语言开发经验的人来说,这将是比较容易学习和掌握的。本书还将演示如何在已有的PHP项目或者新的类似项目上使用这些新的工具。
|
目錄:
|
目录
序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
|
內容試閱:
|
前言在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年年初,它以“HipHop for PHP”的名字开源了。然后从2010年起,一个全新的方法用来执行——即时编译为机器代码,并没有C++牵扯其中——脱胎换骨于HPHPc的代码库,并最终取代它。这个即时的编辑器称为“HipHop虚拟机”,简称为 HHVM,并且在2013年的早期彻底取代了Facebook的网站服务器集群。早期的PHP到C++的转换器消失了,它没有在任何地方进行部署,同时它的代码都被删除了。
而Hack的起源是完全分开的,其根源在于试图在PHP中使用静态分析以自动探测潜在的安全漏洞的一个项目。很快,事实证明,PHP的本质使得它在非常有用的静态分析方面很难有所进展。于是“严格模式(strictmode)”的想法就诞生了。对PHP进行修改,增加一些新的特性,比如引用、删除和添加一个补充的复杂类型系统。PHP代码的作者可以自由选择是否使用严格模式,在保持完整的互操作性同时,获得更加强大的代码检查能力。
Hack的方向从那时开始就作为基于PHP的类型系统掩盖了其本质。它在构建Hack编码的道路上获得了很多有重大影响的新特性,比如异步函数。它添加了很多包括集合在内的新特性,使得类型系统更加强大。本质上来说,它是一门和PHP不同的新语言,它已经在编程语言方面取得了自己的新位置。
以上就是Hack的发展历程,目前Hack是一门现代化的动态编程语言,它拥有鲁棒的静态类型检查能力,在HHVM上执行。HHVM是一个和PHP无缝兼容且具有互操作性的实时编译运行时引擎。
什么是Hack和HHVMHack和HHVM是紧密联系在一起的,所以对于这些术语到底指代的是什么会有一些混乱。
Hack是一门编程语言。它基于PHP,继承了PHP中的很多语法,并且完全可以和PHP进行互操作。然而,很可能有人会认为Hack只是在PHP的基础上略加了装饰修改。Hack最核心的特色是鲁棒的静态类型检查,这已经足够把Hack作为一门编程语言和PHP区分开了。对于现在已经从事已有PHP代码库开发方面工作的开发者来说,这是非常有益的。在这种情形下,将会给这些开发者很多的启迪,当然,对于新项目的底层开发也是一个非常不错的选择。
除了静态类型检查外,Hack还拥有PHP没有的很多项新特性,本书将对这些新特性进行阐述:异步函数、XHP等。出于解决一些粗糙边界问题的目的,Hack也故意缺失了对一些PHP特性的支持。
HHVM是一个执行引擎,它同时支持PHP和Hack。它让两种语言可以互操作:PHP书写的代码能够调用Hack代码,反之亦然。当执行PHP的时候,它的目标在于对PHP.net提供的PHP标准解释器进行替换。本书中有些章节的内容是关于HHVM的:如何配置并部署它,如何使用它调试和配置代码。
最后,我们要介绍的就是从HHVM中分离出来的Hack类型检查器:这是一个能够分析Hack代码(而不是PHP代码)然后报告类型错误的程序。在它能够接受的代码方面,类型检查器目前要比HHVM严格一些。当然,在未来的发行版本中,HHVM应该比类型检查器更加严格。目前,除了你在命令行里面启动它的命令“hh_client”外,类型检查器还没有个定型的名字,我更倾向于叫它“Hack类型检查器”(Hack typechecker)或者就叫做“类型检查器”(typechecker)。
到目前为止,HHVM是运行Hack的唯一执行引擎,这也是有时它们会混为一谈的原因。
本书读者对象本书适合那些已经对编程有一定基础的读者。这里并没有花费时间解释很多编程语言里面常见的概念。例如控制流、数据类型、函数、面向对象编程等。
Hack派生于PHP,本书不会特别解释PHP中常见的语法,除非Hack里面相关的语法知识点与之不同。所以有PHP的知识基础将会非常有用。如果你从来没有使用过PHP,但是有其他编程语言的相关经验,那么你仍然能够读懂本书里面的大部分代码。语法知识点都是非常易于理解的。
如果你拥有PHP相关经验,但是从未工作在一个复杂、高
|
|