编程语言的学习者常常面临一个困惑：为什么市面上的语言如此之多，它们之间究竟有何本质区别？Madhadron 在其文章中提出了一个极具启发性的概念 ——编程元语言（ur-languages），认为现代编程语言看似纷繁复杂，实则大多源自少数几种元语言的演进。理解这七种元语言的设计哲学，能够帮助程序员在学习新语言时触类旁通，更深刻地把握语言演化的内在逻辑。
元语言的概念与意义
所谓元语言，指的是一种能够衍生出其他语言范式的原型语言。Madhadron 借用古生物学中的 “模式标本” 概念来解释这一术语：如同某种生物以特定的化石标本作为定义基准，其他生物通过与该标本比较来确定归属，编程语言也有其 “模式标本”—— 那些定义了核心抽象机制和计算模型的元语言。学习一种源自同一元语言的新语言相对容易，因为它们共享相同的基础思维模式；而学习一种源自陌生元语言的语言，则需要建立全新的神经通路，这往往需要相当的时间和精力。
这种分类方法的价值在于它跳出了语法层面的表层差异，直接触及语言的本质。两种语言可能在语法上截然不同，但如果它们源自同一种元语言，那么在抽象思维和问题求解的方式上却可能高度相似。相反，某些语法相似的语言可能源自完全不同的元语言，这正是初学者容易产生误解的地方。
ALGOL：命令式编程的基石
ALGOL 是这七种元语言中历史最悠久、影响最广泛的一种。其核心特征是程序由赋值语句、条件分支和循环结构组织成函数。大多数现代编程语言都可以追溯到 ALGOL 这一脉，包括 C、C++、Java、Python、JavaScript 等几乎所有主流语言。从历史渊源来看，ALGOL 的谱系可以追溯到 Ada Lovelace 为巴贝奇分析引擎编写的程序，以及 Grace Hopper 的 A-0 系统。ALGOL 60 作为该系列的里程碑，几乎成为所有后续命令式语言的模板。
ALGOL 元语言的核心哲学是将程序视为一系列状态转换的序列。变量代表状态，赋值语句推进状态，循环结构重复状态转换的过程。这种思维模式与人类处理日常任务的直觉高度吻合：先做什么，再做什么，重复做直到完成。因此，ALGOL 系的语言往往被称为 “命令式” 或 “过程式” 语言，它们强调的是 “如何做” 而非 “做什么”。这种设计使得程序的执行流程清晰可预测，但也带来了副作用管理、状态共享等经典难题。
Lisp：代码即数据的元编程典范
Lisp 是现存第二古老的编程语言，仅次于 Fortran。其独特之处在于代码与数据共享同一表示形式 —— 都是 S 表达式，即用括号包围的列表。这种设计看似怪异，却蕴含着深刻的思想：程序本身可以被作为数据来处理。这意味着 Lisp 程序员可以编写操作程序的程序，也就是宏系统。通过宏，程序员可以重新定义语言的语法和语义，创造出针对特定领域定制的新语言构造。Common Lisp 的 loop 语法就是一个典型例子，它并非语言的内置功能，而是由宏定义实现的。
Lisp 的历史与人工智能研究紧密相连。在人工智能的黄金时代，Lisp 是该领域的首选工具。然而，随着人工智能寒冬的到来，Lisp 也遭受了沉重打击。但正是这种逆境催生了语言设计史上的重要转折：其他语言逐渐吸收了 Lisp 曾经独有的特性，如垃圾回收、动态类型等，使得 Lisp 的核心理念以另一种方式得到了延续。今天的 Clojure 代表着 Lisp 家族的最新分支，它在 JVM 平台上运行，将 Lisp 的元编程能力与现代函数式编程特性相结合。
ML：函数式与类型系统的融合
ML 元语言定义了现代函数式编程的两个核心特征：函数作为第一等公民，以及 Hindley-Milner 类型系统。在 ML 家族的语言中，函数可以像值一样被传递、组合和返回，这使得高阶函数和组合子成为描述计算的基本手段。类型系统则提供了强大的静态类型推断能力，使得程序在保持灵活性的同时获得编译时的类型安全保障。ML 名称的来源是 “元语言”，因为它最初是作为定理证明器的元语言而被开发出来的。
ML 家族的代表语言包括 Standard ML、OCaml 以及后来居上的 Haskell。与 Lisp 强调 “代码即数据” 不同，ML 强调 “类型即证明”—— 程序的结构对应于逻辑证明，类型系统本身成为防止程序出错的第一道防线。ML 系的语言在编译器设计、形式化验证和编程语言理论研究领域占据着核心地位。Haskell 引入的惰性求值、单子模式等概念，进一步拓展了函数式编程的边界，使其成为处理并发和副作用的理想选择。
Self：面向对象的消息传递范式
Self 元语言代表了面向对象编程的另一种可能性。在 Self 中，程序由一组相互发送消息的对象构成，所有的行为都通过消息传递来实现。与传统面向对象语言不同，Self 抛弃了类的概念，采用基于原型的设计 —— 新对象通过复制现有对象来创建。这种设计使得对象的行为可以在运行时动态修改，这与 ALGOL 系语言的静态类型结构形成了鲜明对比。
Smalltalk 是 Self 的前身，由 Xerox PARC 在上世纪七八十年代开发。Smalltalk 革命性地提出了 “一切皆对象” 的理念，并创造了集成的开发环境，许多现代 IDE 的原型都可以追溯到 Smalltalk 的设计。JavaScript 则是 Self 元语言在主流语言中的延伸，它采用了无类对象的原型继承机制。有趣的是，Smalltalk 的虚拟机研究直接催生了 Java 的 HotSpot 即时编译器，这说明元语言的影响力往往超出其直接应用范围，向整个软件生态系统辐射。
Forth：堆栈操作的极简主义
Forth 是一种独特的堆栈式语言，其语法模仿了惠普逆波兰计算器。在 Forth 中，数据被推入堆栈，操作符从堆栈取出数据并产生结果。例如，表达式 2 3 + 5 * 表示将 2 和 3 推入堆栈，加法将它们相加并将结果放回堆栈，然后 5 被推入，乘法最终产生结果。这种后缀记法消除了对括号的需求，使得程序极其简洁。
Forth 的真正力量在于其可扩展性。程序员可以拦截解析器并用自定义代码替换它，从而为特定领域创建迷你语言。这种能力使得 Forth 长期应用于嵌入式系统和硬件控制领域。PostScript 作为 Forth 的后裔，在桌面出版领域取得了巨大成功，其可扩展性使得复杂的页面描述成为可能。Forth 的设计哲学是 “极简主义”—— 用最少的原语构建复杂的系统，这种思路在资源受限的环境中尤为重要。
APL：数组运算的数学美学
APL 是一种以数组为核心的语言。在 APL 中，一切都是多维数组，操作符通常只有一两个符号，却能表达极其复杂的数组操作。这种语言的表达能力如此强大，以至于操作符的序列本身就成了行为的标签，而不需要额外的命名。例如，对数组求平均只需要一个简洁的表达式，传统的循环结构在这种语言中显得冗余。
APL 的数学渊源可以追溯到 Kenneth Iverson 在上世纪六十年代创建的数学记号体系。它的后继者 J 和 K 在金融领域取得了广泛应用，K 甚至在高频交易系统中扮演了关键角色。APL 的影响也渗透到了主流数值计算环境 MATLAB、NumPy 和 R 中 —— 这些工具都借鉴了 APL 的数组操作理念，尽管没有完全采用其独特的符号系统。对于需要进行大规模数值计算的专业人士而言，理解 APL 的思维模式能够极大地提升工作效率。
Prolog：逻辑推理的声明式编程
Prolog 代表了与命令式编程完全不同的范式 —— 逻辑编程。在 Prolog 中，程序由事实和规则组成，而不是一系列操作步骤。事实描述已知的信息，规则定义如何从已知事实推导出新的事实。当提出查询时，Prolog 运行时系统会在事实和规则构成的知识库中进行搜索，找到满足查询条件的所有结果。这种 “声明式” 的编程方式使得程序员只需描述 “要什么”，而不必显式说明 “怎么做”。
Prolog 的历史与日本五代机项目紧密相关。该项目在上世纪八十年代将宝押在 Prolog 上，期望通过逻辑编程实现人工智能的突破。虽然项目最终未能达到预期目标，但 Prolog 在类型检查（如 Java 的早期类型检查器）和代码搜索（如 Facebook 的源代码搜索工具）等特定领域找到了自己的位置。Prolog 的核心理念 —— 将计算视为搜索和约束满足 —— 在数据库查询和自动化推理领域持续发挥着影响。
实践建议与学习路径
理解这七种元语言的意义不仅在于学术认知，更在于指导实际的编程学习。Madhadron 建议每位程序员首先精通一种 ALGOL 系的语言，这是现代软件开发的基础。在此之后，SQL 作为 Prolog 系的代表，是性价比最高的学习投资 —— 几乎所有与数据相关的工作都离不开它。完成这两项基础后，学习其他元语言家族的建议依次为：Lisp（推荐 Racket）、ML（推荐 Haskell）、Self、Prolog、Forth（推荐 gForth）和 APL（通过 K 学习）。
这种学习的真正价值不在于掌握某一种具体的语言，而在于扩展思维的多样性。当用 ALGOL 的眼光看待问题时，某些概念可能显得复杂费解，但切换到 Lisp、ML 或 Prolog 的视角，问题可能迎刃而解。编程能力的终极提升，来自于能够灵活运用多种抽象思维方式，选择最适合特定问题的语言范式。
资料来源：本文核心内容源自 Madhadron 的文章《The seven programming ur-languages》（https://madhadron.com/programming/seven_ur_languages.html），该文首次系统性地阐述了七种编程元语言的概念框架。