AI 编程代理还在写你 SDK 的旧 API——我构建了一个类型检查器来测量这个差距
来源：dev.to/kalpitrathore
📋 概述
作者反复遇到同一个问题：AI 助手生成的代码看起来完美——干净、符合惯用法——但运行时不编译。原因是 SDK 已发布新大版本，模型在凭记忆写出旧 API：parameters 变成 inputSchema、required_error 变成 error、new PrismaClient({datasources}) 已不存在。模型冻结在训练截止日期，而库在持续演进。作者构建了 SDKProof——用真实编译器的类型检查来测量"模型知道的 API"和"已安装版本"之间的差距，不依赖 LLM 评估 LLM。
🔑 核心要点
- 模型 冻结在训练截止日期，库在演进——在破坏性变更发布后差距最大。
- 让编译器当裁判：生成代码后安装真实包运行 tsc --noEmit，通过则编译成功。
- 提示词只说函数名不说参数名：测量 模型自然的肌肉记忆而非回吐能力。
- Claude Opus 4.8 在 Prisma 7 得分 80（仍写 v6 写法）、Vercel AI SDK 7 和 Zod 4 各得 90。
💡 金句
Models are frozen at their training cutoff. Libraries are not.
← 返回 Dev.to 首页