← 返回 AIRadar 首页

Vercel CEO Guillermo Rauch 发布 gdp-ts：用类型证明为 TypeScript API 设计加装安全锁

Vercel CEO 推出 gdp-ts 库、linter 与 AI 技能，将「已故证明的幽灵」范式引入 TypeScript，要求敏感函数必须携带调用方已执行授权检查的证明，由类型检查器在编译期验证，把 API 安全从运行时前移到类型层。