编程与软件工程michaelnielsen.org编辑精选
Lisp：软件的麦克斯韦方程
Lisp as the Maxwell Equations of Software (2012)
2012 — 2022，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
Michael Nielsen 这篇文章以 Lisp 的极简求值器为核心，讨论为何一小段 eval 定义能像基础方程一样浓缩一门语言的结构，并借“程序即数据”和自解释能力反思软件抽象的基础。它并非 Lisp 教程，而是对 Lisp 为何优雅、为何具有根本性的一种解释。
为什么经久不衰：它把“程序即数据”和自解释求值器讲成一种可反复回味的软件基础观，既适合入门，也适合多年后重读。
HN 评论精选
质疑 Lisp 自解释器的独特性：汇编语言同样可以做到，且更少依赖运行时设施。
我承认自己并不完全理解 Lisp 为何成名。是的，Lisp 程序由内置数据类型表示，写一个自解释器很容易。但简单汇编语言也如此，只要你知道指令编码！你可以把程序表示为代码指针，手写一个 eval 的类似物只需少量算术指令和条件跳转。而且这种 eval 甚至不依赖垃圾回收等 Lisp 自解释器视为理所当然的便利。
cousin_it查看英文原文
I admit that I don't completely understand Lisp's claim to fame. Yes, programs in the language are represented by a built-in data type, and you can write a self-interpreter quite easily. But the same is true for a simple assembly language, if you know the instruction encoding! You can represent a program as a code pointer, and it's easy to write an analog of "eval" by hand, using just a handful of arithmetic instructions and conditional jumps. What's more, such an "eval" won't even depend on a garbage collector or other niceties that Lisp self-interpreters take for granted.
Lisp 的实用力量来自可扩展的“泥球”与性能，而非优雅的数学推导。
这是很好的学术视角。但作为 Lisp 程序员，我认为 Lisp 的力量来自它是一团“大泥球”（big ball of mud）。可用且高效的 Common Lisp 实现可以由约 25 个原语构建。当原子和分子无法区分时，Lisp 世界的优雅推导并不重要。对象系统和元对象协议是由实现设计者作为原语提供，还是外部库？谁在乎。只有性能和正确功能才重要。
nabla9查看英文原文
While this is nice academic view. As a Lisp programmer, the Power of Lisp comes from being big ball of mud, see: https://en.wikipedia.org/wiki/Big_ball_of_mud#In_programming_languages. Usable and efficient Common Lisp implementation can be build from just ~25 primitives (more than core LISP but still very elegant). Elegant derivation of Lisp world does not matter when the atoms and the molecules can't be distinguished. Is the object system and meta-object protocol implemented as primitives by people who designed the Lisp implementation, or is it external library? Who cares. Only performance and correct function matter.
把 Lisp 比作欧几里得公理体系更贴切：它定义了一种计算传统，而非物理定律。
我理解 Alan Kay 为什么这么说，但更好的类比是欧几里得《几何原本》。如果遵循 Lisp 的公理，你会得到 Lisp 式计算：优雅、干净、尾调用优化。其他计算公理会引向不同方向，尤其是 Hindley-Milner。Lisp 是在数学状态空间中划出领地，而不是在物理现实中。
samatman查看英文原文
I understand why Alan Kay said what he did, but a closer analogy would be to Euclid's Elements. If one follow's Lisps axioms, one ends up with Lispian Computation, elegant, clean, tail-call optimized. Other axioms of computing lead the user in different directions, notably Hindley-Milner. Lisp carves territory in mathematical state space, not physical reality.
Kernel 的 $vau 提供了比传统 Lisp lambda 更基本的抽象，值得作为对照。
John Shutt 的 Kernel 语言把 lambda 分解为未求值操作数、词法环境和函数体：'(λ args body) 可以表达为 ($vau args env body)。有趣的是，因为 $vau 不求值 args 并显式接收词法绑定，Kernel 中不需要宏，卫生性只需在正确环境中 eval。因此可以说 Kernel 比 Lisp 更基本。
guns查看英文原文
John Shutt's Kernel language [1], decomposes lambda into unevaluated operands, a lexical environment, and the function body: '(λ args body) can be expressed as: ($vau args env body) [2] Interestingly, because $vau does not evaluate `args` and explicitly recieves a lexical binding, macros are not necessary in Kernel, and hygiene is a simple matter of (eval)ing with the right environment. Arguably then, Kernel is more fundamental than Lisp. [1]: http://web.cs.wpi.edu/~jshutt/kernel.html [2]: Manuel Simoni has a short overview of $vau here: http://axisofeval.blogspot.com/2012/03/i-want-to-understand-vau.html
历次讨论
同类还值得读
开源应用架构
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编辑精选