AI 摘要：本文基于 Peter Naur 1985 年的论文《Programming as Theory Building》，探讨了编程的本质不仅是编写代码，而是构建一个共享的理论模型，即系统如何运作、为何如此设计以及如何演变的心理模型。作者指出，当前 AI 工具的广泛使用导致了“无理论”代码的危机，开发者缺乏对代码的深层理解，系统逐渐失去一致性，而高级开发者在构建理论、维护架构一致性以及指导团队方面变得尤为重要。文章强调，编程的核心是人类智力活动，AI 无法替代理论构建和领域理解，呼吁保留编程中的人类元素。

cekrem.github.io

Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever

Peter Naur's 1985 theory of programming explains why experience matters more in the age of AI-generated code