更强的类型系统会让编码智能体表现更好吗

作者用 Python 计费项目和开源项目 vunnel 做对照实验，让 Claude Code 与 Codex 在无类型、部分类型、严格类型等 6 个版本上完成 41 个任务，共运行 766 次，发现类型标注既没有提升正确率，也没有减少 token 或耗时。