欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
HHVM
来自开放百科 - 灰狐
（版本间的差异）
小 (Allen移动HipHop页面至HipHop for PHP) |
2013年3月2日 (六) 03:53的版本
HipHop：是一个高性能的PHP工具链，转换 PHP 代码到 C++。
由于HipHop，Facebook Web服务器上的CPU使用平均减少了50%，从而大大减少了服务器的需求。@邱春武
链接
分享您的观点
