首页分类喜欢稍后看历史关于

CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

推荐理由

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

推荐avsm · 原文2013年11月

说明

这是2013年由CUFP 2013发布的一部演讲，主题归在Compilers, interpreters & program analysis。它讲的是static analysis of php这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：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.它贴着当时的技术，看的时候要记得那是那个年份的判断。从2013年到2014年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把static analysis of php变成能跟着复述的例子。

视频信息

频道: CUFP 2013
时长: 25 分 37 秒
发布年份: 2013

在 YouTube 打开

同主题更多