CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

Why it was recommended

Another cool one from CUFP this year is how Facebook is using OCaml to add incremental type inference to their vast PHP code base.

Recommendationavsm · Original2013-11

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. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

CUFP 2013

Length

25 min 37 sec

Year

2013

More in this topic

• Rich Harris - Rethinking reactivity
• Lexical Scanning in Go - Rob Pike
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• CppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
• Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
• Compiling C to printable x86, to make an executable research paper