PHP 版 TypeScript？将 PureScript 编译到 PHP 8.4+，70% 的 Web 有了类型安全
来源：dev.to/0x1 — 2026-07-21 发布
📋 概述
约 70% 的 Web 仍然运行在 PHP 上，但这个庞大的生态系统长期缺乏像 TypeScript 那样的严格类型化替代方案。作者构建了 phpurs——一个将 PureScript 直接转译为现代 PHP 8.4+ 语法的全新编译器后端。它已经通过了官方 PureScript 测试套件，可以投入生产使用。这使得纯粹函数式编程的优雅得以在 PHP 共享主机、WordPress 和 Laravel/Symfony 生态中落地，且部署方式与传统 PHP 完全一致。
🔑 核心要点
- phpurs 是一个将 PureScript 编译为 PHP 8.4+ 的生产级编译器后端，已通过官方测试套件。
- 约 70% 的 Web 运行在 PHP 上（WordPress、cPanel 共享主机、Laravel 等），而此前缺乏 TypeScript 级别的严格类型方案。
- PureScript 是一种纯函数式语言，类似 Haskell，但编译目标可替换——已有 JavaScript、Erlang BEAM、Chez Scheme 等后端。
- 与 Hack（需要自定义运行时）和 PHPStan（文档注释级别）不同，phpurs 带来了 范式级别的安全性和人体工学，同时保持 PHP 的部署便捷性。
- PureScript 通过 通用多态（universal polymorphism）实现了可互换的编译器后端策略。
💡 金句
It is time to bring opposites together, to stir up these stagnant waters, and to restore an industry that is dynamic from within.
👍 0👎 0
← 返回 Dev.to 首页