PHP to Hack - An Incrementally Typed Adventure at Slack

Explore the journey of migrating Slack's multi-million line PHP codebase to Facebook's Hack programming language in this keynote address from the International PHP Conference 2019. Delve into the surprising, challenging, and beneficial aspects of the migration process, examining the pros and cons of Hack and identifying areas where the PHP community can draw inspiration. Learn about key topics such as the Language Server Protocol, type errors, generics, static type checking, inference, and the Hack Standard Library. Discover practical insights on fixing bugs, automated tooling, database interactions, and async/await functionality. Gain valuable lessons on test pyramids, unit tests, and best practices for considering a switch to Hack. Understand the intricacies of this incrementally typed adventure and its implications for large-scale PHP projects.

Introduction
History
Language Server Protocol
Type Errors
Generics
Static type checking
Inference
Multiple types
Arrays
Shapes
Examples
Type refinement
PHP standard library
Hack Standard Library
Hack Standard Pipeline
Regular Expressions
XHP
Journey
Fixing bugs
Automated tooling
Hack
Entry Point
Getting Types
Database
Async await
Inference return type
Untyped functions
Fixing errors
Coverage
Strict
Eliminate vendor code
Upgrade to latest version
Lessons learned
Test pyramid
Unit tests
Should you switch
Hack best features