编程与软件工程pages.cs.wisc.edu编辑精选
编程作为理论构建（1985）
Peter Naur – Programming as Theory Building (1985) [pdf]
2016 — 2025，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是 Peter Naur 1985 年的经典论文《Programming as Theory Building》。他提出编程的本质不是写代码或文档，而是在程序员头脑中构建对程序的理论；这种理论难以通过文本传递，因此程序的价值主要依附于理解它的人。
为什么经久不衰：它对'程序 = 代码 + 文档'的主流观念提出了深刻挑战，几十年后仍能解释为什么接手他人代码如此困难，值得每个开发者重读。
HN 评论精选
这篇论文深刻揭示了编程的本质，帮助作者向他人解释自己的工作。
这是对编程本质的惊人洞见。它让我觉得很有道理，也能帮助我向别人解释我在做什么。我有幸生活在我们领域许多先驱还在世的年代，我深切感受到那个时代的逝去和他们的离去带来的损失。
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 批评的那样把程序员当作可替换的生产部件。
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"?
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》（AOSA）是一本在线免费书，邀请知名开源项目的作者亲自剖析其内部设计，涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史：简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章，用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.comSQLite 是如何测试的
How SQLite is tested
SQLite 官方文档页，系统介绍 SQLite 的测试体系：多种测试方法（TCL 测试、模糊测试、回归测试、静态分析等）和海量测试用例，展示了这个小型开源项目如何靠极致测试获得…
编程与软件工程上首页 8 次 · 2009–2025sqlite.org编辑精选高级编程语言（2009）
Advanced programming languages (2009)
Matt Might 的经典文章，按用途推荐“高级编程语言”：如果追求就业就选主流语言，如果追求表达力、学术研究或创业，则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程：既赞叹其简洁优雅、代码量小、可自举的优点，也坦率指出栈操作在实际编程中的痛苦，以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选