Psalm 7 的发布为 PHP 编程语言的一款主要的静态分析和安全工具提供了重大更新。由于 PHP 的原生类型系统相对简陋，开发者依赖于像 Psalm 这样的工具来检测语言本身在执行过程中可能无法捕捉到的错误和“代码异味”。
Psalm 在 PHP 生态系统中的角色
原始帖子宣布了 Psalm 7 的发布，这是一个专为 PHP 安全和静态分析设计的软件套件。静态分析是一种通过检查源代码而非实际执行程序来进行调试的方法。
Hacker News 上的评论者指出，由于该语言的官方类型系统非常简陋，静态分析对于 PHP 来说“几乎是必需的”。这些工具帮助开发者在代码部署到生产环境之前识别潜在的 Bug。
通过 PHPDoc 注释弥补差距
由于 PHP 缺乏某些高级类型定义，开发者使用 PHPDoc 注释向 IDE 和静态分析工具提供更细粒度的信息。例如，一个简单的“array”类型可以在注释中被明确为应包含特定对象的“list”。
一位评论者解释说，Psalm 同时使用原生类型系统和这些 PHPDoc 注释来检查一致性。这使得该工具能够验证开发者提供的文档是否确实与代码逻辑相匹配。
原生局限性与工具对比
Hacker News 上的讨论强调，虽然 PHP 已经演进到包含联合类型（union types）和字面量类型（literal types），但它仍然缺乏特定的数组类型。这一特定的空白被认为是项目需要额外 linting 工具的主要原因之一。
Psalm 经常与该领域的另一大工具 PHPStan 进行比较。虽然 PHPStan 在历史上速度较慢，但评论者指出，在最近的迭代中，两者之间的性能差异已显著缩小。
权衡与开发现实
使用 PHPDoc 注释导致了对外部工具的依赖，以确保在代码库变化时注释依然准确。如果没有像 Psalm 这样的工具，很难通过程序化手段保证 IDE 提供的“合理补全”与实际数据结构相匹配。
虽然一些用户对这些基础功能尚未成为 PHP 语言原生特性表示沮丧，但其他人指出，当前的类型系统比之前的版本更健壮，包括对交集类型（intersection types）的支持。
未解决的技术背景
虽然 Psalm 7 的发布是提交的主要焦点，但提供的源文本中并未详细列出此版本包含的具体技术改进和新功能。讨论主要集中在静态分析工具的一般必要性上，而非版本 6 与版本 7 之间的具体差异。