Lamphpda 类型安全的功能数据结构的集合 目标 该库的目的是以目前在PHP生态系统中可能的最类型安全的方式提供功能数据结构的集合。 主要观点 将此与PHP中其他功能库区分开的两个想法是： 以下安全使用总和类型 使用更高种类的类型以提高可重用性和类型安全性（请参阅和 ） 工具类 我们使用作为类型检查器。 它基本上是一个编译步骤，可确保所有类型都对齐。 要从该库中受益，必须通过Psalm检查运行代码。