面向代理的编译器诊断,用于类型化修复循环
编译器和类型检查器团队应该增加一种面向代理的诊断模式,把完整的修复上下文发给编码代理,同时保留给开发者的简洁信息。Type-Error Ablation 研究在 Shplait 中直接测试了这一点:2,400 次 qwen2.5-coder:14b 修复试验比较了完整的统一栈输出、接近错误位置、最少类型错误信息和无类型测试套件反馈。更丰富的类型诊断改善了修复表现,97.9% 的修复在消除类型错误后也通过了语义测试。
一个成本低的试点是在有类型的语言服务器或 CI 修复流程里加一个功能开关。当代理是使用方时,工具可以在结构化工件里加入完整约束追踪、推断类型、候选来源位置和失败测试摘要。团队可以把最近的类型失败分别走一遍当前诊断模式和面向代理的模式,然后比较修复率、语义测试通过率和编辑尝试次数。对已经让代理读取编译器输出并修改代码的团队来说,这是一项具体的工具链改动。