编程语言与软件工程2016pages.cs.wisc.edu编辑精选
Peter Naur：编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
入门 · 约 45 分钟读完前置知识：软件开发经验、程序设计基础
导读
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出：编程的本质不是写代码或文档，而是在程序员头脑中构建对程序及其运行环境的“理论”。这种理论无法通过代码和文档完整传递给他人，因此接手他人程序远比想象中困难，作者据此质疑将软件开发视为可标准化、可替换的工业生产流程的主流观念。
HN 关注点：是因为这篇论文对“程序 = 代码 + 文档”的传统观念提出了深刻挑战，讨论焦点在于理论构建观是否成立、以及大公司是否真的把程序员当作可替换的生产组件。
后来怎么样
这篇论文成为软件工程领域关于编程本质的经典文献，'程序即理论构建'的观点被广泛引用，深刻影响了后续关于知识传递、代码可维护性和软件工艺运动的讨论。
HN 评论精选
这几条评论里：支持 1 质疑 2 补充 1
支持高度认同论文洞见，并感慨领域先驱时代正在消逝
这是对编程本质的绝妙洞见，我觉得很符合实际，能帮我向别人解释我的工作。能生活在我们领域许多先驱还在世的年代是一种荣幸，我深切感受到那个时代正在逝去、他们正在离我们而去。
ColinDabritz查看英文原文
This is an amazing insight into the nature of programming. It feels right to me, and will help me explain what I do to others. I feel privileged to live in an era where many pioneers of our field are still with us. I feel the passing of that era, and their loss, keenly.
补充认同理论不可传递的观点，追问何种文档最能支持理论构建
“程序的理论无法从一个程序员传递给另一个”这一观点与大多数程序员的实际经验相符，学徒制似乎很契合。既然代码和文档不够，那么什么样的文档最能帮助新成员构建理论就值得研究。据我所知，文学编程的支持者认为它在这方面优于传统的代码/文档。
macmac查看英文原文
The idea that a Theory of the Program cannot be conveyed from one programmer to another but other means that apprenticeship seems to fit quite well with the experience of most programmers. While "program text and documentation" might not be enough, it would be interesting to understand what kind of documentation best supports Theory Building for new programmers coming into an existing project. It is my understanding the Literate Programming is thought by its proponents to be superior to traditional code/documentation in this regard.
质疑质疑“作者拥有完整理论”的前提，认为新人可能比原作者更懂程序
我不太同意“程序作者对自己的程序拥有完整理论”这一说法，这过于简化了。作者往往并不真正了解自己在做什么，新来的人反而可能比原作者更有洞见，因为：1. 作者可能有偏见（所以需要代码评审）；2. 作者可能经验不足、编程能力不如新人；3. 作者对程序失去了新鲜的眼光。
hex13查看英文原文
Other thing I don't know if can agree is that program's author has complete theory about his program. I think that is oversimplification. I think that often program authors don't know what they are doing. Quite often somebody new who comes to the project has more insights about the project than original authors. Because: 1. the author can be biased (that's why we need code reviews) 2. the author can be less experienced has less programming skills, than a new person on the board. 3. the author simply lost his fresh eye for the program etc.
质疑质疑大公司是否真的把程序员当作可替换的生产组件
Naur 认为他的观点与主流软件开发方法相悖，这是真的吗？Google、Facebook 等公司真的把软件开发视为“类似工业生产，程序员被视为生产中的一个组件，必须受流程规则控制、可以轻易被替换”吗？
robitor查看英文原文
Naur argues that this view is contrary to the mainstream approach to software development, is that true? Does Google, Facebook, etc... view software development as: "similar to industrial production, the programmer being regarded as a component of that production, a component that has to be controlled by rules of procedure and which can be replaced easily"?
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2016Hacker News 讨论帖225 分 · 15 评
- 2019Hacker News 讨论帖117 分 · 11 评
- 2022Hacker News 讨论帖76 分 · 4 评
- 2025Hacker News 讨论帖211 分 · 44 评
同领域还值得读
Google 的软件工程（2017）
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践，包括其单一代码库（monorepo）、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程，并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选SciPy 1.0：Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库，涵盖其核心算法模块（优化、积分、插值、线性代数等）、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史（1979）
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL（编程语言史）会议撰写的回顾文章，讲述 Lisp 的起源、设计动机与早期演进，文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用：以 ndarray 为中心，通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选将 C 编译为安全 Rust：形式化方法
Compiling C to Safe Rust, Formalized
研究如何把 C 代码编译为安全的 Rust，并给出形式化方案。
编程语言与软件工程2024 · 291 分 · 157 评专业 · 约 90 分钟编辑精选