世界上最好的编程语言是哪个？

上次跟大家分享了即将淘汰的编程语言，看来大家对于编程语言的好坏，都很有自己的见解啊。

但我们一直都说哈，每个语言都有自己的优势。

那今天我们再引入一个比较的概念——耗电量。

在手机快没电时，管理软件往往会提醒我们关掉某些耗电量高的应用。

可见，除了硬件厂商外，软件厂商也应该重视能耗问题。（企业级需求！）

咱们今天就看一篇文章，在这篇文章中，研究者分析了一下各种编程语言的能耗对比。

当能耗也成为了一个重要指标，我们要怎么选择编程语言？

2017 年，由 6 名葡萄牙研究者组成的团队决定对这一问题进行调查并发表了一篇名为《Energy Efficiency Across Programming Languages》的论文。

他们用 27 种语言写出了 10 个问题的解决方案（遵循同样的算法），然后运行这些方案，记录每种编程语言消耗的电量以及速度和内存使用情况，得到的排序结果如下图所示：

通过这项研究，他们得出了一些有意思的结论，比如运行速度快的语言未必能耗小。

在论文中，作者还根据编程语言的执行类型（编译、虚拟机或解释）和编程范式（命令式、函数式、面向对象和脚本）对结果进行了分析。

具体而言，研究者使用了来自 Computer Language Benchmarks Game（一个用于比较性能的免费软件项目，其中包含一组标准的算法问题和用于运行测试的框架）的 10 个问题，使得研究更有可比性和代表性。

运行各种基准测试非常重要，因为它们的结果会由于所执行的测试而有所不同。

例如，总体而言，C 语言被认为是最快的，也是最节能的。

大家把C语言牛皮，打在公（评）屏（论）上（区）！

但是在涉及扫描 DNA 数据库中特定基因序列的基准测试中，Rust 是最节能的，而 C 语言位居第三。

所以即使在同一测试中，最佳语言依然取决于你的标准。

研究者指出，他们严格遵守 CLBG 项目关于编译器版本和最佳优化标志的指导方针。

功耗的测量使用一个来自英特尔的工具——Running Average Power Limit，每个程序运行 10 遍。

作者表示：

为了增强一致性，所有测试都在一个运行 Linux Ubuntu Server 16.10（内核版本 4.8.0-22-generic）的台式机上运行。

这篇论文认真地研究了一个普遍的假设：速度越快的程序消耗的能源就越少。

研究者指出，其实，这并不像物理学定律 E(nergy) = T(ime) x P(ower) 那么简单。

这是因为电力并不按照一定的速率进行消耗。

在其他研究者的一项研究中，一个 Chapel 程序的运行时间比另一个用 Pascal 写的等价程序少 55%，但测量结果却表明，那个 Pascal 程序所用的能量反而要少10%。

因此，尽管普遍认为程序运行速度更快时能耗会下降，但研究者明确指出：

这可能是一个很难回答的问题，因为功耗受到许多因素的影响（包括编译器的质量和使用的库）。

但最终，研究人员总结出，无论是编译型语言、解释型语言还是虚拟机，其实大部分能量（平均 88% 左右）是由 CPU 消耗的。

在对实验结果分析研究之后，研究者还得出结论：

该研究为一个长期存在的问题提供了答案：「速度更快就更环保吗？」

在按照执行时间进行排序时，的确是这样，前 5 种最节能的语言依然排在前 5 名，而且在能量和时间值方面的差距很小。

实际上，在 10 个基准问题测试中，有 9 个得分最高者（速度和能源效率两方面）是速度最快和能源效率最高的三种语言之一，这并没有让研究者感到惊讶。

众所周知，就像研究中的数据所显示的一样，C、C++ 和 Rust 这三种排名最靠前的语言都经过了大量优化，在执行性能上都比较高效。

但是按照运行时间对其他 24 种语言进行排名时，情况就不一样了。

只有 4 种语言保持相同的能耗和时间排名（OCaml、Haskel、Racket 和 Python），而其余语言则彻底散开。

即使在单项基准测试中，也存在速度快但不节能的语言。

编译型语言似乎是最节能和运行最快的语言，作者甚至可以在论文中用数字量化这种差异。

平均而言，编译语言需要花费 120J 能量来运行解决方案，而虚拟机和解释型语言要分别花费 576J 和 2365J。

在比较执行时间时，研究者也采用了相同的精度，得出的结论是：

两项排名中的前 4 名均为编译型语言（有一个例外，Java 语言）。

5 种最慢的语言都是解释型语言：

5 种能耗最多的语言也都是解释型语言：

但同时，在使用正则表达式操作字符串时，5 种最节能的语言中有三种（TypeScript、JavaScript 和 PHP）是解释型语言。

但是在其他情况下，它们往往不是很节能。

编译型语言在占用内存最少的排名中也占据了前 5 名。

研究者称：

具体来说，有 4 种解释型语言在这项排名中垫底，这意味着它们消耗了最多的内存空间。

实际上，当比较不同范式时，命令式编程通常排在首位。

与面向对象、函数式以及脚本范式的基准程序相比，命令式编程的基准程序平均使用的能源少得多，运行速度也更快。

但是有很多因素需要考虑。

研究者称

但是，其中哪一个因素最重要取决于你自己的需求情况（例如，后台任务并不总是需要最快的运行时间）。

某些应用程序需要同时考虑两个因素，如能耗和执行时间。

研究者称：

总结一下：

不同的模式，考察角度不一样，得出的结论也会有差距，一门语言好不好还是要根据自己的业务实际需求去判断。

但是，C语言就是最厉害的！