本节书摘来自华章出版社《Hack与HHVM权威指南》一书中的第1章，第1.4.3节，作者 Owen Yamauchi，更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1.4.3 调用PHP代码
如果你使用了一个类型检查器无法在任何Hack文件中找到的命名实体，在局部和耦合模式下并不会引发错误（在严格模式下，这将会触发一个“unbound error”）。这看起来似乎是个很奇怪的宽松的行为，但是真正的目的在于Hack代码从PHP迁移的易用性。这允许Hack文件中的代码使用PHP文件中的代码：调用函数、使用常量，甚至实例化和扩展类。记住，类型检查器不会对你的PHP文件做任何分析，甚至都不会去分析你的PHP文件里面定义了什么函数，这些都是需要你自己负责的。
在局部模式下，对于上述情况你还可以通过配置项主动触发一个错误。这个选项称为“assume_php”（就是“假设丢失的实体都定义在PHP里面”的意思），这个选项默认是开启的。你可以通过在.hhconfig文件中添加一行代码“assume_php=false”来关闭它。然后通过命令行“hh_client restart”重启类型检查器的服务端。
如果你准备迁移一个大的PHP代码库到Hack，保持assume_php选项开启是个非常好的注意。在后续的阶段中，随着代码库里面更多的PHP文件转变为Hack文件，那么关闭assume_php选项是更好的选择，可以更好地享受严格模式带来的好处。当然了，如果你刚刚开始一个全新的Hack项目的代码编写工作，最好在最开始的时候关闭这个选项（设置assume_php=false）。
对于未知的函数或者类的使用，类型检查器设定了最大的宽容性假设：
对未知函数的调用，类型检查时认为它能够接纳任何数量、任何类型的参数值，并且没有返回类型标注。
未知的常量定义被认为是特殊的“任何”类型——就像它们在调用一个没有任何返回类型标注的函数结果。
实例化一个未知类型的类，得到的结果值是个对象。调用这个对象上面的任何方法都是合法的，类型检查上就像调用一个未知的函数。任何对这个对象的属性访问也是合法的，并且返回的值将具有特殊的“任何”类型。
一个Hack类如果具有任何未知的祖先类，或者使用了任何未知的特性，或者其任何祖先类有未知的特性，这都和一个未知的类差不多。未知的特性或者类会大大削弱整个实体结构中的类型检查器。调用上述类中的任何方法或者访问任何未知属性都是合法的。
然而，对于定义在Hack文件中的方法调用或者属性访问，如果类型检查器能够解决的话，即使在耦合模式下，它也会对其进行适当的类型检查。例如：
class C extends SomeClassNotDefinedInHack {
public int $known_property;
public function known_method(string $s) {
// ...
}
}
function main(): void {
$c = new C();
$c->unknown_method(); // 没有错误
$c->known_method(12); // 错误 : int类型并不兼容 string类型
$c->unknown_property->func(); // 没有错误
$c->known_property->func(); // 错误 : 不能在一个int类型上调用方法
