Paul Graham：百年编程语言

必需声明，我并不是提议全部的数值计较完好用列表来实现。我只是提议说话在没有为应用而增进任何特另外标记之前的焦点部门这样来界说。现实上任何必要数学计较的措施大多会用二进制来暗示数字，可是这只是一个优化，并在说话的焦点语义范畴中。

其它应用措施和硬件之间软件的多条理性也耗损了许多计较机机时。这也是我们已经看到的成长趋势：很多软件只是被编译成字节码，运行在字节码表明器上。Bill Woods曾经汇报我，每一层表明器或许最最少要耗损10％的速率，这些特另外开销换来的是你措施的弹性。

Arc的最初版本就是这种软件分多层以获取弹性的极度的例子。那是一个成立在Common Lisp上的经典的“元轮回”（metacircular）表明器，与McCarthy最初的Lisp论文中的eval函数（eval function）有必然的配合性。整个Arc只有200余行代码，以是很是易于领略和修改。而我们所用的Common Lisp，即CLisp自己又运行在一个字节码表明器上。因此这里就存在两层表明器，个中一层（上面的那一层）是惊人的低效，可是Arc如故能用。固然我认可它用起来很始末，可是事实能用。

在应用措施方面，把软件分层是一项了不起的技能。自底向上编程意味着一层一层地写措施，每一层作为“说话”供上一层行使。这种方法有利于天生小而机动的措施，也是取得可复用性这座“圣杯”（holy grail）的最佳途径——“说话”界说上的可复用性。在你写某种范例的应用措施的时辰，越是能把你的应用下压到“说话”中，你的软件的可复用性也就越高。

不知何以可复用性的头脑在1980年月被扳连到面向工具编程中，而且看来还没有要把它解放出来的阻挡性的迹象。然而固然某些面向工具软件是可复用的，可是使措施可复用的并不是面向工具，而是它的自底向上特征。想想库函数：它们可复用使由于它们是“说话”，无论它们是不是回收了面向工具的要领。

趁便说一句，我并不是猜测面向工具编程的殒命。固然我以为它不能给好的措施员更多的辅佐，可是在某些专门的规模，一些大型组织照旧离不开它。面向工具编程提供了一种可行的方法去获自得大利面条式的代码，它应承你把一系列代码碎片拼合成措施。大型组织凡是乐意用这种方法开拓软件，我以为一百年后环境也照旧云云。

在我们评论将来的时辰，最好也谈谈并行计较，由于当时辰这种设法将成为实际。也就是说，并行计较看来必然会实现，无论你说那是什么时辰。

将来能遇上并行计较吗？人们近20年来都在说并行计较即将实现，然则它到现在也还没有对编程发生实质影响。真的没有影响吗？芯片计划者们不得不思量它，试图写在多CPU电脑上的体系软件的人们也不得不思量它。

真正的题目在于，并行化会在抽象的阶梯上走多远?一百年后它会影响到应用软件的措施员吗？照旧只是编译器编写者们才思量它，而一样平常应用软件的源代码里看不见其踪影？

很有也许的倒是大大都并行化的机遇城市被挥霍。这是我所作的关于我们所得到大大都特另外计较手段将会被挥霍的猜测的一个特例。我以为，跟着未来硬件处理赏罚速率的庞大晋升，并行化将不会很常用，除非你确实必要它。这表白我们一百年后的并行化（除了特定的应用以外）都不会是大局限的并行化。我以为对平凡措施员来说，更也许是天生一些并行运行的子历程。

这就像在措施生命的晚期你改变一个数据布局的准确实现一样，你只是在试图优化它。“第一版措施”凡是会忽略并行计较带来的好书，就像忽略数据的准确表述带来的甜头一样。

因此，除了某些特定的应用软件以外，一百年内并行化将不会广泛在措施里行使。假如用了，将会是一种不成熟的优化。

一百年后将还存在几多种编程说话？最近好像有大量新的编程说话呈现。部门缘故起因是更快的硬件应承措施员们在速率和便利性之间按照应用做出差异的折中。假如说话的增多是一个真实的趋势，那么一百年后我们拥有的硬件只会增添这种趋势。

不外大概一百年后只剩下几种普及行使的说话。我这样说，部门缘故起因是我的乐观：假如你真的干得好，你也许计划出某种说话，它既得当写出 “慢而便利”的“第一版措施”，也可以在必要的时辰通过给编译器一些恰当的优化提议，让它发生很是快的天生码。由于我的乐观，我还可以猜测不管“可接管”的服从与“最高效”的服从之间的 “鸿沟”有多宽，一百年后措施员都将拥有吻合的说话超过它们。

跟着“鸿沟”的变宽，机能评测器（profiler）将会越来越重要。此刻软件机能评测方面存眷的太少了，很多人都还信托编写出能发生快的天生码的编译器是让措施运行更快的途径。跟着“可接管机能”与“最优机能”之间的“鸿沟”的变宽，人们也越来越清晰得到更快的应用软件的正确途径是要有一个从“可接管”到“最优”的指引，就是机能评测器。

当我说将来只会剩余几种说话的时辰，并不包罗那些特定规模的“小说话”。我以为这些嵌入式说话是巨大的，我也但愿它们可以或许越来越多。可是我但愿它们写出来的对象可以或许像薄薄的外皮一样，让用户可以或许看到下面更通用的说话。

谁来计划将来的说话呢？已往十年里一个最振奋民气的趋势是Perl、Python、Ruby等开放源码说话鼓起，黑客们接过了说话计划的使命。迄今为止功效固然缭乱，但还算可嘉。譬喻，Perl内里就有一些极好的新奇的设法。固然也有很多还很不敷的处所，可是各人都在执着地全力。假如保持此刻的转变速率，天知道一百年后Perl会进化成一个什么样的说话。

一样平常来讲可实践者也是教授者（我熟悉一些最优越的黑客都是传授），可是有很多规模教授者却不是实践者，所谓“学术”一贯以堂皇的职业品级诱骗视听。在任何学术规模都有一些主题是被承认的而其它一些主题却不是，不幸的是被承认的主题与不被承认的主题之间的区别每每在于它在研究论文中的描写听起来何等有难度，而不是取得一个好的功效的意义有何等重要。像文艺作品就是一个明明的例子，研究文艺作品的人很少说对作者哪怕有一丁点用处的话。

（编辑：湖南网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!