可执行考古（Executable Archaeology）研究：重新激活 Heuristic Compiler（1961）与 KBEmacs（1984）

查看 PDF HTML（实验性）

摘要：早期 AI 程序往往同时也是关于人们如何思考的理论，而那些会编写程序的程序，在某种程度上也是关于人们如何编程的理论。我们在此报告对两个此类程序进行重新激活的结果；这两个程序提出了两种看似不同的编程理论，开发目的也大不相同。第一个是 Herbert Simon 的 Heuristic Compiler（1961），它将编程视为问题求解的一种实验模型，将 General Problem Solver 的手段—目标分析法应用于考察编程任务的本质。第二个是 KBEmacs（1984），这是 MIT 的 Programmer's Apprentice 项目开发的一种智能编程助手工作原型，其依据的观点是，专家程序员会识别并组合熟悉的模式，或称“套路”。它让程序员通过一种风格化的英语命令语言组合套路，逐步构建程序。我们采用 Executable Archaeology（可执行考古学）的方法研究二者，即通过运行历史计算系统的原始代码来研究这些系统；我们把这一过程称为“重新激活”。我们重新激活 Heuristic Compiler 后，重现了 Simon 1963 年论文中出现的编译代码；我们重新激活 KBEmacs 后，重现了其 1984 年 12 月自测中的 SQRT 序列。将二者并置考察后可以发现，这两种理论其实有很多共同之处：Heuristic Compiler 同样通过改编现有例程来工作，而 Simon 后来指出，仅靠搜索就需要大量编程知识。为了突出这一项目的自反性，我们有意使用现代 AI 辅助编程工具 Anthropic 的 Claude Code (Opus 5.5) 完成大量细致的重新激活工作，并建立在大量现有软件的基础之上。这两个系统所体现的明确、可执行的编程理论，在当今功能强大得多的 AI 编程助手中大多已不复存在。

学科：	人工智能 (cs.AI); 人机交互 (cs.HC); 编程语言 (cs.PL)
引用格式：	arXiv:2610.36341 [cs.AI]
	（或 arXiv:2610.36341v1 [cs.AI] 用于此版本）
	https://doi.org/10.48550/arXiv.2610.36341 由 arXiv 签发、通过 DataCite 提供的 DOI（注册待完成）

提交历史

From: Jeff Shrager [查看电子邮件]
[v1] Mon, 26 Oct 2026 22:09:13 UTC (20 KB)