了得網計算機/網絡_Hack與HHVM權威指南

內容簡介

本書講述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目錄
序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運算周期的新技術都受到歡迎。前言在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相關經驗，但是從未工作在一個復雜、高

商品搜索

商品分类

【醫學】

【各大出版社】