Hacklang：如何对局部/全局变量进行类型注释？

Question

Hack 手册非常清楚地说明了如何对函数参数、函数返回类型和成员变量进行类型注释。但是，我尝试对全局变量或函数局部变量进行类型注释的所有方法都会导致语法错误：

string $foo   = "foo";        // unexpected T_VARIABLE
$foo : string = "foo";        // unexpected ':'
string $foo;   $foo = "foo";  // unexpected T_VARIABLE
$foo : string; $foo = "foo";  // unexpected ':'

这样的注释可能吗？如果可能，那么正确的语法是什么？如果不可能，那么这是设计使然，还是开发人员计划实现的？ （肯定会有用。）

Answer 1

这是不可能的，这是设计使然。

局部变量的类型被推断出来，全局变量不会被类型检查（因为它们可以通过访问$_GLOBALS随时从任何地方更改）。

如果有特定的文档页面可以更清楚地说明这一点，请单击其底部的“File A Documentation Bug”链接，以便添加。