大模型编程与软件理论构建的冲突与反思

大语言模型极难协助开发者完成软件架构设计中的理论构建，过量输出与低效交互容易使开发者沦为被动的旁观者。作者在重构 Tasktron 工作流实测中发现，模型倾向引入重叠概念并滥用可变状态，即便借助规划模式也只带来更多冗余文档。文章建议由人类在编辑器中自顶向下严谨定义类型与函数签名，再限制智能体作为补全工具填充实现细节。