编程语言设计要点 | AI生成和翻译
概述
《编程语言设计建言》是托尼·霍尔爵士（C. A. R. Hoare）的经典著作，具有深远影响力。该论文最初于1973年10月在SIGACT/SIGPLAN编程语言原理研讨会上作为主题演讲发表，随后于1974年正式出版。
这并非包含定理的正式学术论文，而是计算机科学巨擘以个人视角提出的系列“建言”（建议），充满独到见解且具有非凡预见性，阐述了编程语言应当如何设计（以及应当避免哪些设计）。
核心观点
霍尔的核心论点是：编程语言设计长期受草率的实现方式主导，而缺乏严谨、长远的学术思辨。他认为1970年代初的大多数语言（PL/I、ALGOL 68、Pascal等）都存在过度复杂、随意决策和抽象能力不足的问题，未来的语言必须从根本上更简洁、更规范。
论文核心建言/理念
-
过早优化是万恶之源（在语言设计中）
不要仅仅为了10%-20%的性能提升就添加会让语言永久复杂化的特性。 -
简洁优于强大
“可靠性的代价在于对极致简洁的追求。”
语言应包含尽可能少的核心概念，复杂性应交由库函数处理而非固化在语言核心中。 -
避免“一门语言统御万物”
他批判庞大臃肿的通用语言（特别是PL/I和ALGOL 68），主张针对特定领域开发精炼简洁的专业语言。 -
正交性与规范性
语言特性应以可预测、非意外的方式组合（这一原则后来因Perl的“解决问题的方法不止一种”而闻名——但这正是霍尔反对的理念）。 -
抽象与信息隐藏
强烈支持模块化、抽象数据类型和封装机制，这些思想直接影响了CLU、Modula-2及后来的Ada与面向对象语言。 -
安全性与可靠性优先
语言应使编写正确、可验证的程序变得容易。他早在当时就推崇强类型、正确性证明，并避免增加验证难度的特性。 -
具体语法重要，但不如人们想象中关键
相比语义清晰性，花括号与BEGIN/END的争论相对次要。 -
历史反思
他对比了ALGOL 60（因其优雅而受推崇）与ALGOL 68（认为其是过度设计的失败典型）。 -
理想语言愿景（1973年提出！）
- 极简核心架构
- 强大的模块/抽象系统
- 强静态类型
- 独立编译机制
- 并发编程支持（此时已隐现“通信顺序进程”CSP的雏形，他于五年后的1978年正式发表CSP理论）
论文经典语录
- “构建软件设计有两种方法：一种是让它简单到明显没有缺陷，另一种是让它复杂到没有明显缺陷。前者难度远高于后者。”
- “我的结论是：设计编程语言有两种途径，要么让它复杂到没有明显缺陷，要么让它简单到明显没有缺陷。”
影响与遗产
这场1973年的演讲精准预见了未来30-40年的语言设计哲学：
- 影响Simula→Smalltalk→现代面向对象体系
- 直接启迪Modula、Ada、ML及Haskell的模块系统
- 整个“简洁优先”运动（如Go语言、Rust早期理念）都深受其益
- 他对ALGOL 68和PL/I的批评至今仍被引用，用于反思C++、Java或Scala的臃肿化问题
阅读渠道
最常引用的1973年斯坦福技术报告版本：
《编程语言设计建言》——C. A. R. 霍尔（1973）
经稍作修订的版本收录于《编程语言设计与实现》一书及霍尔的论文合集。
全文仅约25页，历经50余年仍极具可读性——若您关注语言设计领域，本文不容错过。