编程与软件工程matt.might.net
从零实现一门编程语言
Implement a programming language from scratch
2010 — 2015，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
Matt Might 的这篇文章演示如何实现一个简单的编程语言，通常以 Scheme 等语言为宿主，逐步构建解释器。文章意在揭示编程语言并非神秘构造，而是可以自己动手实现的程序。不过评论也指出，这种实现大量依赖宿主语言设施，对“从头”的定义较为宽松。
为什么经久不衰：它是理解语言实现核心概念的经典入门教程，同时引发关于抽象成本与教学顺序的持久讨论，今天读来仍有启发。
HN 评论精选
指出文章大量依赖宿主语言，并认为对初学者而言实现完整编译流程更有助于理解语言本质。
以我的经验，很多人会错过这篇文章的意义，或者根本不明白这怎么算实现编程语言。毕竟，新语言的每个方面——甚至词法分析和语法分析——你都利用了宿主语言。在我看来，对初学者更有趣的是实现一个简单的词法分析器、语法分析器，以及编译到另一种源语言的编译器。这似乎才能弥合“编程语言是神秘构造”和“编程语言本身就是程序”之间的鸿沟。不过，这种观点往往会让传统的 SICP 派不太高兴 :-)。
bishc查看英文原文
In my experience, many people will miss the significance of this, or will simply fail to grasp how this is implementing a programming language at all. After all, you're taking advantage of the host language for every single aspect of the new language, even tokenizing/parsing. More interesting for beginners (in my opinion) are examples implementing a simple tokenizer, parser, and compiler to another source language. This seems to be what closes the gap between programming languages as mystical constructs and programming languages as programs themselves. This point of view does tend to displease the traditional SICP crowd though :-).
质疑文章并非真正从零开始，依赖宿主语言设施。
当然，这是对“从头”相当宽松的定义……
ramchip查看英文原文
For a fairly liberal definition of "from scratch", of course...
用层层嵌套实现的玩笑强调抽象会带来性能成本，这是真正值得体会的教训。
得了吧，何必停在那里？在你的玩具 lambda 里实现 Scheme。然后在你的 Scheme 里实现另一个玩具 lambda，再在其中实现一个 Scheme。一直继续，直到计算 (fib 5) 都要花好几分钟。然后为那个 Scheme 写一个 JIT 编译器。看看要让性能回到《盗梦空间》之前的水平需要付出什么。现在你才真正学到了东西：抽象是有代价的。
samatman查看英文原文
C'mon, why stop there? Implement Scheme in your toy lambda. Then implement another toy lambda in your Scheme, and a Scheme in that. Continue until it takes several minutes to do (fib 5). Then, write JIT compiler for that Scheme. See what it takes to get down to pre-Inception levels of performance. Now, you've actually learned something: Abstractions are costly.
推荐另一个从零构建 Lisp 的教程资源。
这是我待办清单上的一项：用 C 构建 Lisp：http://www.buildyourownlisp.com/
amatic查看英文原文
Here is something from my todo list, build lisp in C: http://www.buildyourownlisp.com/
历次讨论
同类还值得读
开源应用架构
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编辑精选