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随时随地更改它们。）

如果文档的某个特定页面可以使其更清晰，请单击其底部的“文件A文档错误”链接，以便添加。