Facebook's Static Analysis of PHP and the Origins of Hack

CUFP 2013 · Talk · 26 min · 2013 · YouTube title: CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

Why it's here

Pointed to as the origin story of Hack and a real-world example of OCaml in production.

What it covers

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.