Guillermo Rauch(@rauchg)

Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI sk...

6.4内容质量

TL;DR · AI 摘要

Guillermo Rauch on X: "Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI...

核心要点

  • 主题聚焦：Introducing gdp-ts: Ghosts of Departed Proofs fo
  • 来源：Guillermo Rauch(@rauchg)，建议结合原文判断细节。
  • AI 分析暂不可用，本条为保底评分与摘要。
#AI#编程#前端#后端#安全
打开原文

Guillermo Rauch 在 X 上的推文： "介绍 gdp-ts：TypeScript 的已逝证明幽灵。gdp-ts 是一个用于更安全 API 设计的库、代码检查工具和 AI 技能。根据这一契约，敏感函数需要‘证明’调用方已执行了授权检查。类型检查器会在编译时验证这些证明，防止团队和代理程序发布灾难性的安全（及其他类型的）漏洞。尽管这些模式早已存在，尤其是在 Haskell 等生态系统中，①人工代码审查和 ②认知及语法开销使这些解决方案变得小众。现在情况发生了逆转。代理程序编写的代码数量已超过我们能够审查的范围，它们在具有严格约束的紧密循环中茁壮成长，这些约束会让我们感到沮丧。随着 Rust 的兴起、借用检查器的普及以及代码美学的讨论，我们正目睹这一趋势。README 和示例展示了现实世界中 Vercel API 产品约束的建模：更改项目密码需要特定角色和特定权限的证明。感谢 Matt Noonan 和 Ollie Charles 在这一领域的研究。"

Guillermo Rauch

@rauchg

介绍 gdp-ts：TypeScript 的已逝证明幽灵。gdp-ts 是一个用于更安全 API 设计的库、代码检查工具和 AI 技能。根据这一契约，敏感函数需要‘证明’调用方已执行了授权检查。类型检查器会在编译时验证这些证明，防止团队和代理程序发布灾难性的安全（及其他类型的）漏洞。尽管这些模式早已存在，尤其是在 Haskell 等生态系统中，①人工代码审查和 ②认知及语法开销使这些解决方案变得小众。现在情况发生了逆转。代理程序编写的代码数量已超过我们能够审查的范围，它们在具有严格约束的紧密循环中茁壮成长，这些约束会让我们感到沮丧。随着 Rust 的兴起、借用检查器的普及以及代码美学的讨论，我们正目睹这一趋势。README 和示例展示了现实世界中 Vercel API 产品约束的建模：更改项目密码需要特定角色和特定权限的证明。感谢 Matt Noonan 和 Ollie Charles 在这一领域的研究。

[github.com/rauchg/gdp-ts](github.com/rauchg/gdp-ts)

$

00:00

/$

下午2:44 · 2026年10月5日

·

223.5K

Views

159

111

2.2K

2.6K