Hack and HHVM

Owen Yamauchi is a software engineer at Facebook where he works on the HHVM team. Before joining Facebook in 2009, he interned VMware and Apple. Owen grew up in Belgium and earned his BS in Computer Science at Carnegie Mellon

Chapter 1Typechecking
Why Use the Typechecker?
Setting Up the Typechecker
Type Annotation Syntax
Hack’s Type System
Rules
Type Inference
Refining Types
Enforcement of Type Annotations at Runtime
Chapter 2Generics
Introductory Example
Other Generic Entities
Type Erasure
Constraints
Unresolved Types, Revisited
Generics and Subtypes
Advanced: Covariance and Contravariance
Chapter 3Other Features of Hack
Enums
Type Aliases
Array Shapes
Lambda Expressions
Constructor Parameter Promotion
Attributes
Enhanced Autoloading
Integer Arithmetic Overflow
Nullsafe Method Call Operator
Trait and Interface Requirements
Silencing Typechecker Errors
Chapter 4PHP Features Not Supported in Hack
References
Old-Style Constructors
Case-Insensitive Name Lookup
Variable Variables
Dynamic Properties
Mixing Method Call Syntax
isset, empty, and unset
Others
Chapter 5Collections
Why Use Collections?
Collections Have Reference Semantics
Using Collections
Type Annotations for Collections
Interoperating with Arrays
Chapter 6Async
Introductory Examples
Async in Detail
Structuring Async Code
Other Types of Waiting
Common Mistakes
Async Extensions
Chapter 7XHP
Why Use XHP?
How to Use XHP
Creating Your Own XHP Classes
XHP Best Practices
Migrating to XHP
XHP Internals
Chapter 8Configuring and Deploying HHVM
Specifying Configuration Options
Server Mode
Warming Up the JIT
Repo-Authoritative Mode
The Admin Server
Chapter 9hphpd: Interactive Debugging
Getting Started
Evaluating Code
The Execution Environment
Using Breakpoints
Viewing Code and Documentation
Macros
Configuring hphpd
Chapter 10Hack Tools
Inspecting the Codebase
Migrating PHP to Hack
Transpiling Hack to PHP