Guillermo Rauch @rauchg

介绍 gdp-ts：TypeScript 的 Ghosts of Departed Proofs。 gdp-ts 是一个用于更安全 API 设计的库、linter 和 AI 技能。在此契约下，敏感函数要求调用方提供'证明'，证明其已执行授权检查。 类型检查器在编译时验证这些证明，防止你的团队和代理提交灾难性的安全（及其他类型的）bug。 虽然这些模式已经存在相当长的时间，特别是在像 Haskell 这样的生态系统中，但①人工代码审查和②认知与语法开销使这些解决方案小众化。 现在情况反转了。代理编写的代码比我们能审查的还多，而且它们在带有硬约束的紧密循环中如鱼得水，这会让我们感到沮丧。我们从 Rust 的兴起、借用检查器、代码美学辩论等中看到了这一点。 README 和示例模拟了一个现实世界的 Vercel API 产品约束：更改项目的密码需要特定角色+特定权限的证明。感谢 Matt Noonan 和 Ollie Charles 在这一领域的研究。 https://t.co/eRWdiMvQ2V