在 Hack/PHP 中分析静态与动态类型

Question

我在 Hack 中工作，并试图弄清楚“如果输入代码会运行得更快”，因为该语言将支持动态和静态类型，具体取决于文件上的标题。

您会进行哪些测试来查看两者之间的效率差异？

Answer 1

Facebook Research 的A recent paper 描述了 HHVM JIT 的当前状态（强调我的）：

§2.1 [Hack's] 更丰富的类型提示 仅由静态类型检查器使用，并被 HHVM 运行时丢弃。 丢弃这些更丰富的内容的原因 运行时的类型提示是 Hack 的渐进类型系统是 不健全。静态类型检查器是乐观的，它会忽略 语言的许多动态特性。因此，即使 一个程序类型检查，不同的类型可以观察到 运行。

本文继续解释 JIT 如何使用类型信息来优化程序，但目前类型信息并非来自类型提示。仍然是一本很好的读物，因为您似乎对 HHVM 的性能进行了投资。我还想指出，基于类型提示的优化has been requested for some time，这表明这种优化不会很快到来。