Question

我曾经写过一本《动态函数式语言精髓》 1 ，并称之为我在最终结论面前的“最后一层表象”。而我所追寻的最终结论是关于什么的呢？那个问题从十余年前便困扰着我：作为一个程序员，我到底在做什么呢？换而言之，我一直在追问的问题其实就是：

什么是程序？

我曾经认为这个问题是有答案的，比如经典的“算法 + 数据结构 = 程序” 2 。但是在多年之后我对这个答案有了怀疑。因为我看到，《结构程序设计》 3 这本书根本上是在讨论另一个解，即“结构（算法（数据))”。然而即使如此，“结构化”本身，就是程序规模化的唯一求解吗？更深入地说，规模化是“计算的程序化”唯一的问题吗？

我认为不是。

本书从数据之于计算系统的意义谈起，回顾了我多年前所认识到的那一层（我曾自认为是最后一层）的表象——亦即是“语言”。而后，将所谓真正的问题推及对“程序”的认识和理解，再推及到所谓的“应用”与“系统”，并最终揭示这些表象之下的那个简单的事实：它们不过是“结构化”这一求解的引申。

又是一层表象。

周爱民

2017.02.25

1. 这是《JavaScript 语言精髓与编程实践》一书的电子版（精编版）的书名，事实上这也是前者在正式发行前所使用的书名。 ↩
2. 《算法+数据结构=程序》，作者尼古拉斯·沃斯（Niklaus Wirth）是 Pascal 语言之父，也是 1984 年图灵奖得主。 ↩
3. 《结构程序设计（Structured Programming）》，由 E.W.戴克斯特拉、C.A.R.霍尔和 O.-J.达尔合著，他们分别是 1972 年、1980 年和 2001 年图灵奖得主。 ↩