欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
HipHop VM (HHVM) :是一个高性能的PHP工具链和虚拟机(VM),可转换 PHP 代码为 C++。
由于HipHop,Facebook Web服务器上的CPU使用平均减少了50%,从而大大减少了服务器的需求。@邱春武