Guillermo Rauch@rauchg
介绍 gdp-ts:TypeScript 的 Ghosts of Departed Proofs。 gdp-ts 是一个用于更安全 API 设计的库、linter 和 AI 技能。在此契约下,敏感函数要求调用方提供'证明',证明其已执行授权检查。 类型检查器在编译时验证这些证明,防止你的团队和代理提交灾难性的安全(及其他类型的)bug。 虽然这些模式已经存在相当长的时间,特别是在像 Haskell 这样的生态系统中,但①人工代码审查和②认知与语法开销使这些解决方案小众化。 现在情况反转了。代理编写的代码比我们能审…