编程作为理论构建（1985）
摘要
这篇彼得·诺尔（Peter Naur）于1985年发表的论文指出，编程本质上是一种理论构建活动，程序员需要深入理解问题领域，而不仅仅是生成代码。
<p><a href="https://lobste.rs/s/ac0akx/programming_as_theory_building_1985">评论</a></p>
查看缓存全文
缓存时间: 2026/05/18 22:35
您提供的内容似乎是PDF文件的原始数据（包含二进制图像和元数据），而非可读的Markdown文章。我无法从中提取英语文本进行翻译。请提供正确的Markdown格式的英语文章内容，我将为您翻译成简体中文。
相似文章
以理论构建的视角阅读编程
本文推荐 Peter Naur 的著作《编程即理论构建》，主张编程的本质在于构建和传达对软件的心理模型，而不仅仅是编写代码。
系统编程入门，第一部分：程序员编写程序（2025）
一篇系统编程入门文章，涵盖诸如位操作、解析、文件系统、系统调用和内存管理等基础知识，面向程序员。
我作为实践者的程序分析观
实践者 Rory Sawyer 回顾十年将程序分析用于弥合代码与人类意图之间差距的经历，强调静态分析作为超越执行的正确性沟通工具的价值。
七大编程原语言（2022）
一篇文章探讨了七种构成大多数现代编程语言基础的编程语言原型（原语言），认为学习植根于这些原型的基础知识比选择特定语言更重要。
学习软件架构
一位软件工程师分享了学习软件架构的见解，强调组织架构与激励机制优先于代码本身，并结合 rust-analyzer 与科学计算代码的实例进行了说明。