严谨起见,本文提到的“编程语言”指的是“第三代高级编程语言”。
让我们从时间维度入手来聊聊编程语言。一图胜千言。我们从目前主流的编程语言中,挑选出流行的,具有历史影响力的,按时间从上往下排序,依据类型和指导思想进行聚类,根据互相的影响使用线条指向,并补充了一些关键性的特征和评价,整理下图:
整理图的过程中,发现很多有趣的点,我们按时间顺序从上往下讲这张图。
1950-1959:这期间出现了第三代高级语言的鼻祖:Fortran 和 Lisp。并且在 1958 年已经提出了结构化编程,递归、异常、函数式、命令式、垃圾回收等目前常用的概念。现在用到的大部分语言特性的理论的出现比我想象的早。
1960-1969:这一阶段,IBM 的 ALGO 系列语言主要是对理论概念的探索和实践,经过两个版本后诞生出 ALGO60 里程碑式的作品,奠定了现代高级编程语言的基础。同时也有 Basic 语言希望降低编程门槛的探索,并第一次引入了“类型后置”的语法以更符合人类阅读习惯。
我们继续往右看,发现一个独特的系列:CPL 和 BCPL:这两个语言首次阐释了“特性不是越多越好”的黄金原则,因为拉长时间看,CPL 是第一个想成为大而全的语言。从 CPL 到 BCPL 到 C,都是在不断的减少特性;从 C 到 C++再到 C++20,特性又在不断的增加,这时你就会明白为什么 C++委员会对添加新特性是那么的谨慎和小心,但是这都阻挡不了让 C++变成下一个 CPL 的步伐。1967 年诞生的 Simula64 提出了面向对象思想,面向对象思想开始发展。
1970-1979:这一年诞生出两个影响力极大的语言:Smalltalk 和 C。巧合的是这两个语言都是在 1972 年发布的。Smalltalk 一定程度上继承了 Basic 远离机器靠近人类的探索,发扬了语言动态性的思想,探索了面向对象的思想,模糊了编译型语言和解释型语言的界限,对后续的动态语言,脚本语言,客户端语言产生了深远的影响。
C 语言的诞生是为了满足 Unix 而设计的,当时 Unix 使用 BCPL 或 B 语言都无法满足操作系统对编程语言的要求,因此 C 语言应运而生。抛开语言特性,我们也能发现 C 语言的优势有非常多:不但有需求(开发操作系统的动机),还有经验的加成(尝试了 BCPL 和 B 语言,积累了大量的应用经验),并且遇到了好项目(Unix 操作系统),被最聪明的一群人使用(Unix 操作系统开发工程师),注定了 C 语言具有强大的生命力。这期间编程语言的思想已经成熟,面向对象思想在 Smalltalk 的推动下,成为下一阶段新语言首捧的特性。
1980-1989:由于面向对象在 GUI 领域具有独特的优势,借着这十年图形界面交互的高速发展的东风,面向对象思想发展进入快车道。这十年是面向对象思想横行的十年。还记得上个十年的 Smalltalk 和 C 吗?Smalltalk+面向对象诞生了 Self;C 语言+面向对象诞生了 C++;而 Smalltalk+C 语言+面向对象诞生了 Objective-C。苹果公司选择 Objective-C 作为其生态原生语言,使得我们在 2022 年还在写 Objective-C 的代码;C++和 Objective-C 对 C 语言的 100%兼容,使得这两个语言可以充分继承 C 语言的生态和人才,但是 Objective-C 的语法实在太别扭了,Objective-C 的关键字数量众多,并且语法没有一致性可言,在没有 IDE 补全环境下是最难写的语言。
C++保留了 C 语言的语法习惯和设计原则,从 C 切换到 C++几乎没有学习成本,并复用了 C 的生态,这使得 C++迅速流行起来。面向对象的思想在当时来看是实用且先进的,但是现在我们发现基于面向对象思想后面发展的各种设计模式开始把代码玩出花来了,需要学习设计模式的就那几个架构师,但是现在人手一本设计模式,把大象放到冰箱里这么简单事情都要先写一堆的抽象,把看代码把人绕晕...... 当然,这是面向对象思潮的后话了。这也导致后来很多人投向简单直接的 C 了(做了这么多项目下来,发现面向对象很多时候是过度设计的源泉)。
1990-1999:这是编程语言发展最快速的时代,得益于计算机平民化和图形界面的发展,计算机进入千家万户,应用开发的需求激增,编程语言的诉求开始发生变化:对性能要求变弱,而对安全(内存安全,线程安全),人性化(可读性,表达力,低门槛),动态性等提出更高要求。首先登场的是 VisualBasic,强化了 IDE 和编程语言的结合,降低了应用开发门槛。
接下来目前非常火的 Python 也诞生了,Python 诞生在关键字和语法越来越复杂的年代,于是反其道而行之,追求简洁的语法,最具有标志性的是为了省略“{}”直接用空格缩进来划分代码块(这种语法首创是 1966 年的ISWIM语言);有趣的是,Python 追求的简洁语法不是其成功的关键(由于 IDE 的进步,这种语法的形式核心价值已经消失),Python 成功的关键在于其出色的扩展性和跨平台,这让 Python 长期稳解释型语言头把交椅,并且后来的同类语言都很难超越;另一方面,Python 提出的“一件事最好是只有一种方法来做”理念贯穿语言设计(笔者也非常认同的观念)也成就了其优秀的学习曲线和低门槛的优点,一门语言能让人快速上手也是其核心竞争力呀。
时间来到 1995 年,这一年诞生了四个我们耳熟能详的编程语言(JavaScript;Java;PHP;Ruby),我们把编程语言发展最快速的时代颁发给这个时代绝对不为过。Java 对 C++做减法,增加了安全性,成为历史上最成功的语言之一,嵌入式、客户端、后台都有 Java 的身影。但是这种成功不会持续太久,Java 涉及领域太多了,语言特性博而不精,这注定了 Java 在 20 年后的没落,话又说回来,能在主流编程语言连续 10 多年榜上有名,已经完成了 Java 的历史使命。
JavaScript 逐渐发展为浏览器上的原生语言,乘着 Web1.0、2.0 的东风,和低门槛的学习成本,以及解释型引擎的发展,JavaScript 已经突破浏览器领域的限制,几乎无所不能,前端开发者们拿着 JavaScript 一次又一次的向客户端和后台阵地发起冲锋,ReactNative、Node.js 等技术炙手可热;随着硬件和脚本引擎的进步,就连曾经全用 C++编写的 QQ 客户端,现在也投入 Electron 的怀抱了;但是我们从现在的角度看,JavaScript 的不少地方已经落后于时代,我们急需一门新的语言或者革命来代替它。
2000-2010:这是 PC 互联网的高峰和移动互联网的萌芽的时代,也是我们记忆深刻的时代。C#在 2000 年首发,微软基于 C++和 VB 的经验,借鉴 Java 推出了浓墨重彩的 C#,我们站在历史的高度可以说.Net 是失败的框架,但是这都难以掩盖 C#的光辉;C#和 Java 同样是对 C++做减法,但是在很多细节上 C#相对 Java 更接近 C++;由于 C#搭上了不争气的搭档.Net,不像 Java 那样一开始就那么成功,塞翁失马,反而让 C#的历史包袱非常轻。
C#在接下来的编程语言发展中多次成为第一个吃螃蟹的人,C#给现代语言带来了非常多理念和思想,从 C#1.0 到 C#11,几乎一年一个版本,这发展速度其他编程语言只能望其项背。第一次接触可空类型(空安全),??运算符,dynamic 类型都是在 C#,笔者从事 windows 开发近十年,从学术角度来看,笔者对 C#的喜爱溢于言表。但是从工程角度来看,.Net 和 C#支持跨平台,但是他俩动作总是慢半拍,错过了 PC 互联网和移动互联网的机会,只在 Windows 平台流行了。
C++作为通用语言真的太成功了,但是它已经不是一门高安全性高人性化的一门语言,开发出更友好的安全的"C++"变得迫切起来,这时出现了很多新的语言蠢蠢欲试,其中包括 D 语言和 Rust:D 语言是 C++编译器作者设计实践的一门新语言,吸收了很实际项目的 C++经验教训,但是仔细了解 D 语言你会发现,这就是拿 C++编译器魔改的一个”私有 C++语言“编译器;这也导致很多 C++的弊病不能彻底废除,属于改良派。
过了 3 年,Rust 横空出世:Rust 在理念上有很大的进步,比如虽然没有垃圾回收器,但是强制使用者明确对象的所有权,通过所有权编译器可以在合适的时机释放内存:这是第一次流行语言不使用垃圾回收方式解决内存管理问题,在性能上比垃圾回收有着极大的优势,虽然性能无损,但是相比垃圾回收模式则需要开发者编码时增加对象所有权的思考过程,即便如此,这也比在 C++花几个星期解决内存访问异常的问题好多了呀。Rust 属于改革派,重新审视 C++的应用场景,对语言特性重新设计,这真的是一次精彩的尝试!Rust 也比 D 语言更加成功。
到了 2007 年,对后台影响深远的 Go 语言诞生,当时大部分后台还是用 C++或者 Java,我们前面说了 Java 注定会被替代,Go 首先在后台开发常见吹响号角,后面还会提到 Kotlin 在客户端尝试替代 Java。Go 的诞生是一个非常好的时间节点,除了剔除很多 Java 的弊病,还直击应用场景的痛点,在性能(多核,网络,并发)上着重发力,前进了一大步!
另外,Go 在工程上的成功容易掩盖其了语法特性上的新尝试:Go 语言是近代第一个捡起类型后置的语言,提供了丰富的语法糖(如:=)使得代码简短并语义明确,这直接影响了后面的 Swift,Rust、Kotlin 等有着改革雄心的语言。Go 的成功除了 Go 的优秀因素外,我们也发现:瞄准细分应用场景的语言在工程上是非常具有活力的。
2011-2020:移动互联网的快速发展的时代,这个时代最需要的是提高移动端高生产力语言。首先登场的是 Android 平台的 Kotlin,Kotlin 是 JVM 语言,能直接复用 JVM 的生态,Kotlin 和 Java 有点像当年的 Objective-C 和 C 的感觉,但是不像 Objective-C 和 C 能混编,Kotlin 重新设计了语法规则,大大提高了可读性和安全性。3 年后苹果公司也交出 Swift 的答卷,Swift 被简单的形容为 “没有 C 的 Objective-C”,Objective-C 花了 30 年,终于摒弃了 C 语言的影响。
新的语言不能没有成熟生态的支持,和 Kotlin 与 Java 同是 JVM 语言不同,Swift 使用桥接(Bridging)的方法得以复用 Objective-C 的生态,这未尝不是一次创新的尝试,可以让 Swift 没有任何包袱重新设计。Kotlin 和 Swift 都选择了更适合于阅读的类型后置,更简洁的语法,更丰富的语法糖来提高可读性和语义准确性。对于现有的大型项目的开发人员来说,从 Java 到 Kotlin 或者从 Objective-C 到 Swift 有点稍微难以适应,我们被 C 风格语言荼毒了这么久,突然不荼毒了会很不习惯。
在这个时期诞生的 Dart 旨意成为 Javascript 的接班人,但是关注度不多,随着 Flutter 的火热,Dart 也进入了大众的视野。Dart 与 Kotlin、Swift 彻底断舍离 C 风格不同,Dart 仍然选择 C 语言风格;在笔者看来,现在大部分项目都会由多种语言编写,保持和 C 语言风格在多语言项目中也许是一件好事:前段时间笔者经常在 iOS、Android、PC、Mac 四个平台编写代码,涉及语言不限于 Java,Kotlin,Objective-C,Swift,C/C++,Dart,语言风格一天切换好几次,这反而非常不人性化。
Dart 没有很好的成为 JavaScript 的接班人,谁能想到下一年的 TypeScript 火起来了?TypeScript 选择和 Dart 不同的方法接班,相比 Dart 激烈的方式,TypeScript 完全兼容 JavaScript,TypeScript 增加一些语法让编译器把错误提前暴露,大大增强了 JavaScript 的安全性,给 JavaScript 狠狠的续了一命,让 JavaScript 可以继续祸害程序员们。话说回来,Dart 在安全性、性能、都给 JavaScript 带来巨大的进步,也祝福 Dart 最终能顺利接班。
2021-今:除了新语言的诞生,我们也不能忽视每个编程语言都在不断的发展和变化,在 2022 年谷歌推出的 Carbon,该语言旨在修复 C++的几个明显缺点,提高 C++的可读性、安全性,并平滑语言的学习曲线。Carbon 和 D 语言有点相似,属于对 C++现代化的改良派,但是和 D 语言不同的是 Carbon 有个好爹,并且通过“双向互操作性”融入 C++生态的同时抛弃 C++历史包袱,并使得语言的语法可以重新设计。
从 Java 被逐渐替代的经验教训中我们发现,目前 C++在应用层正处于城池渐失的状态;我们应该明白,应用层和底层框架的需求不同,不应该从顶到底都使用一套语言,现在 C++所失之城池就是新语言非常好的机会,抓住应用层的安全、人性化、和与 C++的双向互操作性,Carbon 确实是准确找到了定位。简而言之,我对谷歌的 Carbon 还是非常期待的。
除了在应用层 C++有待进步,即使在底层场景,C++也有很大的进步空间。2022 年,Herb Sutter 的实验项目 CppFront 值得一提。简单来说,CppFront 通过给 C++增加一层预处理语法规则(cpp2)来提高 C++的易用性和安全性。和 Rust、Carbon 不同,Herb Sutter 的这个实验项目不是寻找 C++的代替者,而是 “寻找突破界限的方法,使 C++ 本身向前发展,并加倍努力使用 C++,而不是切换到其他东西”。这是个为 C++标准探路的实验项目,有这么丰富的理论和实验,下一代 C++标准必然能焕发出新的活力。但是也别太奢望 C++能回到从前那样样能手的辉煌,历史的经验告诉我们大而全的语言最后都会被替代。