世界需要一种什么样的语言?

这一篇是我的一本迷你电子版书《动态函数式语言精髓》的序。这本书节选并增改自《Javascript语言精髓与编程实践》,后者看起来是一本主要讨论Javascript语言的书,但事实上有大量的内容是在讨论语言、多范型等等,而《动态函数式语言精髓》也正是该书的初衷。

本电子书通过InfoQ独家发布,请如下地址下载:

或这里:

序的部分内容同于原书,可以至如下地址下载其公开章节:

世界需要一种什么样的语言?

——《JavaScript语言精髓与编程实践》精简版·序

要有光

我从未停止过对语言的思考。

曾经很长的一段时间里,在临入睡前我的脑海中总会响起一种声音“我解决了语言问题”,而睡醒时,我仍觉得自己是无知小儿。编程十余年,我写过《Delphi源代码分析》,我从中看到了一门语言如何从代码变成操作系统中可以运行的程序。我也写过《大道至简——软件工程实践者的思想》,我在其中说“语言不过是(工程的)细微末节”,而成书之后,我便又投入了新的、当前你所看的这本书的撰写之中。

语言于我,是一个死结。我一直在寻求尽头,或展望于将来,或求源于过往。我在一道大河的中间,前后观望,时而俯首所得的,不过是一掬破碎的倒影。

倒影中,还是我的迷惘。

我也在实现着一种语言,我用JavaScript来做这件事情。我选择它只是因为熟悉,以及它足够的表现力。我用它来做面向对象、面向切面、面向接口编程等等的尝试,也用它来模拟操作系统的调度机制,或构架业务系统的技术框架。在另一些代码中,我也看到过用JavaScript代码来模拟CPU的指令流水线,或者实现真实的虚拟机……但我认为没有必要向您去解说一种语言是何等的强大(或者专业、优秀与特异),完全没有必要。

因为,它不过是一种语言。一种语言只是一种思想的表现,而不是思想本身。什么才是决定语言的未来的思想呢?或者我们也可以换个角度来提出这个问题:世界需要一种什么样的语言?

特性众多、适应性强,就是将来语言的特点吗?我们知道现在的C#与JAVA都在向这条道路前进。与特定的系统相关,就是语言的出路吗?例如曾经的VC++,以及它面向不同的平台的版本。当然,在类似的领域中,还有C,以及汇编等等……

我们回顾这样的例举,其实都是在特定环境下的特定语言,所不同的无非是环境的大小。这其实也是程序员的心病:我们到底选Windows平台,还是Java平台,或者Linux系统,再或者是……我们总是在不同的厂商及其支持的平台中选择,而最终这种选择又决定了我们所使用的语言。这与喜好无关,也与语言的好坏无关,不过是一种趋利的选择罢了。所以,也许你是在使用着的只是一种“并不那么‘好’”,以及并不能令你那么开心地编程的语言。你越发辛勤地工作,越发地为这些语言摇旗鼓噪,你也就离语言的真相越来越远。

当然,这也不过是一种假设。但是,真相不都是从假设开始的么?

语言有些很纯粹,有些则以混杂著称。如果编程世界只有一种语言,无论它何等复杂,也必因毫无比较而显得足够纯粹。所以只有在多种语言之间比较,才会有纯粹或混杂这样的效果:纯粹与混杂总是以一种或多种分类法为背景来描述的。我们了解这些类属概念的标准、原则,也就回溯到了种种语言的本实:它是什么、怎么样,以及如何工作。这本书,将这些分类回溯到两种极端的对立:命令式与说明式,动态与静态。我讲述了除开静态语言(一般是指类似C、C++、Delphi等的强类型、静态、编译型语言)之外的其它三种类型。正是从根底里具有这三种类型的特性,所以JavaScript具有令人相当困扰的混合语言特性。分离它们,并揭示将它们混沌一物的方法与过程,如历经涅磐。在这一经历中,这本书就是我的所得。

多年以来,我在我所看不见的黑暗与看得见的梦境中追寻着答案。这本书是我最终的结论,或结论面前的最后一层表象:我们需要从纯化的语言中领悟到我们的编程的本质,并以混杂的语言来创造我们的世界。我看到:局部的、纯化的语言可能带来独特的性质,而从全局来看,世界是因为混杂而变得有声有色。如果上帝不说“要有光”,那么我们将不能了解世象之表;而世象有了表面,便有了混杂的色彩,我们便看不见光之外的一切事物。我们依赖于光明,而事实是光明遮住了黑暗。

如同你现在正在使用的那一种、两种或更多种语言,阻碍了你看到你的未来。

语言

(略,同于原书)

分类法

(同上)

特性与技巧

(同上)