HackerTube / Video
CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically
CUFP 2013
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.
Pointed to as the origin story of Hack and a real-world example of OCaml in production.
5 Hacker News mentions · 2013–2014