type:哈姆雷特框架类型

哈姆雷特（Hamlet）演员 在PHP中指定表达式类型有几个方面： 该类型的最精确规范（我们假设它使用的是psalm语法）： array<int> 运行时断言的顺序： assert($records instanceof array<int>) 静态分析器的类型提示（当前为psalm ）：（ (array<int>) $records 无需字符串操作即可派生类型的能力： array<int> || null array<int> || null 在安全的情况下进行投射的能力，即虚假的应该转换为虚假的，依此类推。 该库提供了用于类型规范的基本构建块。 例如，以下表达式： $ type = _map ( _int (), _uni