CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

CUFP 2013

Topic

static analysis of php

Format

talk

Level

advanced

HN recommenders in dataset

3

HN mentions in dataset

5

Recommendation years in dataset

2013–2014

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• Another cool one from CUFP this year is how Facebook is using OCaml to add incremental type inference to their vast PHP code base. There's (slightly hard to see video) here, but I'm sure Facebook will publicize it more widely when they're ready. [VIDEO]

• 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. [0]: Strangle Loop 2013: Keith Adams, Facebook: Taking PHP Seriously [LINK] [1]: CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically [VIDEO] [2]: HHVM and Hack …

• It's good to hear stories about how FP is being used in industry and I'd like to read more. For those who have an interest in this, I recommend the Commercial Users of Functional Programming workshop ( [LINK] ). It's where I first heard about …