hackertube.io

CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

CUFP 2013 · talk · Watch on YouTube

Compilers, interpreters & program analysisFunctional programmingPython, Ruby & scripting languages

What it is

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.

Why Hacker News recommends it

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

  • 3 people recommended it
  • 3 different months
  • 0 strong recommendations
  • first 2013, last 2014

What HN commenters said

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

    Facebook using OCaml for incremental type inference on PHP.

    avsm, 2013-11 · Recommendation · in “Real World OCaml”

  2. “Check out Hack for HHVM[0][1][2]. It's a lot saner than PHP, but it's not documented or well known outside Facebook.”

    Introduces Hack as a saner PHP.

    Xdes, 2014-02 · Recommendation · in “List of possible changes, updates, additions for PHP 6”

  3. “It's where I first heard about Facebook's use of OCaml to create Hack ( )”

    Facebook's use of OCaml to create Hack.

    amirmc, 2014-03 · Recommendation · in “What it's like to use Haskell”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: ocaml, hack, php, type inference, facebook

Also recommended by the same people