以永不过时作为ฦ目标也是一种避开时代风潮的影响的方แ法。“风潮”这个ฐ词，从字面上就可以看出，它就是一阵风似的，随着时间经常改变。如果一件东西长盛不衰，那么เ它的吸引力一定来自本身的魅力，而不是来自风潮的影响。
事实上，财富与金钱是两个概ฐ念。金钱只是用来交易财富的一种手段，财富才是有价值的东西，我们购买的商品和服务都属于财富。你到เ海外旅行时，不用看当地人的银行账户就会知道你来到的是富国还是穷国。你只要看看他们的财富就行了：建筑、街道、服装、健康状况等。
‘eb怀特eb9hite，1899—19๗8๖5，美国当代着名作家、散文家，常年担任《纽约客》杂志的主要撰稿人，以优美的语体风格着称于世。——译者注’
软件的布
为了在全社会制造出一个ฐ禁忌，负责实施的团体必定既不是特别强大也不是特别ี弱小。如果一个团体强大到无比自信，它根本不会在乎ๆ别ี人的抨击。美国人或者英国人对外国媒体的诋毁就毫不在意。但是，如果一个ฐ团体太弱小，就会无力推行禁忌。有一种行为怪癖叫做“嗜粪症”cນoprophila，它的患者人数以及影响势力眼下似乎就不太强大，无法把自己的观点推广给其他人。
‘在英语中ณ，“建筑师”architect和“架构师”arcນhitecນt是同一个ฐ词，所以这里用的是双关语，意思是优秀程序员不仅负责建造，还负责架构。后一句中ณ的“建筑学”architecture也是这种双关用法，同时指“架构学”aທrcນhitecture。一译者注’
想要把握这个时代，就必须理解计算机。理解计算机的关键，则是要理解计算机背后的人。表面上这是一个ฐ机器的时代，但是实际上机器的设计者决定了我们的时代。程序员的审美决定了你看到的软件界ศ面，程序员的爱好决定了你有什么样的软件可以使用。
但是，真正的问题在于，并行计算到底能达到哪个ฐ抽象层次？一百年后它就会影响到开应用软件的程序员吗？或者，它还只是编译器作者需要考虑的事情，在应用软件的代码中根本就无处寻觅？
一种可能是，大多数可以用到เ并行计算的场合，人们都会放弃使用并行计算。虽然我总的预测是未来的软件会挥霍掉大部ຖ分新า增的硬件性能ม，但是并行计算是一个ฐ特例。我估计随着硬件性能ม得到เ惊人的提升，如果你明确地说想要并行计算，那么เ肯定可以得到เ它，但是通常情况下你不会用到เ它。这意味着，除了一些特殊的应用程序，一百年后的并行计算不会是那ว种大规模的并行计算massivepaທraທllelism。我预料，对于普通程序员来说，一切更像对进程进行分叉，然后让多个进程在后台并行运行。
这是编程进行到很后期才要做的事情，属于对程序的优化，类似于你想开一种特定的数据结构来取代现有的数据结构。程序的第一个ฐ版本通常会忽略๓并行计算的各种好处，就好像编程开始时会忽略某种特定的数据结构给你带来的好处一样。
除了某些特定的应用软件，一百年后，并行计算不会很流行。如果应用软件真的大量使用并行计算，这就属于过早优化了。
一百年后会有多少种编程语言？从最近来看，出现了大量的新语言。硬件性能提高是一个ฐ原因，这就允许程序员根据使用目的在运行度和编程便利性之间做出不同的取舍。如果这就是未来的趋势，那ว么一百年后强大的硬件只会使得语言数目变得更多。
伹是，另一方แ面，一百年后的常用语言可能只有很少几种。部分原因是基于我的乐观主ว义，我相信在未来，如果你的作品确实很出色，你可能选择的是一种开起来很方แ便的语言。使用这种语言写出来的软件第一版的运行度很慢，只有对编译器进行优化设置后运行度才会提升。既然我抱有这种乐观主义，那ว么我还要做一个预ไ言。有些语言可以达到机器的最高效率，另一些语言的效率则慢到刚刚可以运行而已，两者之间存在巨大的差ๆ距。我预言一百年后，这段差ๆ距之间的各个点上都会有对应的编程语言存在。
因为这段差距正在变得越来越大，所以性能分析器profiler将变得越来越重要。目前，性能ม分析并没有受到重视。许多人好像仍然相信，程序运行度提升的关键在于开出能够生成更快代码的编译器。代码效率与机器性能ม的差ๆ距正在不断加大，我们将会越来越清楚地看到เ，应用软件运行度提升的关键在于有一个ฐ好的性能ม分析器帮助指导程序开。
我说将来可能只有很少几种常用语言，但没有把用于特定领域的“小众语言”little浪ฐuage算进去。我觉得，这些嵌入式语言的想法很不错，一定会蓬ศ勃展。但是我判断ษ这些“小众语言”会被设计成相当薄的一层，使得用户可以一眼看出在底下作为基础的通用型语言，这样就减少了学习时间，降低了使用成本。
谁来设计这些未来的语言？过去1้0年最激动人心的趋势之一就是开源语言的崛起，比如perl、python和ruby。语言设计已๐经被黑客接管。到目前为止这样到เ底是好是坏还看不清楚，但是展势头令人鼓舞。比如，perl就有一些绝妙的创新。不过，它也包含了一些很糟糕的想法。对于一种充满进取心、大胆探索的语言来说，这也是很正常的事。以它现在这种变化的率，大概只有上帝ຓ才知道一百年后perl会变成什么เ样。有一句俗话说，如果你自己做不到เ，那就去当老师。这在语言设计领域不成立，我认识的一些最出色的黑客就在当教授。但是，当老师的人确实有很多事情不能做。研究性职位给黑客带来了一些限制。在任何学术领域，都有一些题目是可以做的，另一些题目是不可以做的。不幸的是，这两类题目的区别通常取决于它们写成论文后看上去是不是很高深，而不是取决于它们对软件业的展是否重要。最极端的例子可能ม就是文学，文学研究者的任何成果几乎对文学创作者都毫无影响。
虽然科学领域的状况要稍好一点，但是研究者可以做的题目与能够对设计优秀语言有所帮助的题目之间的交集小得令人沮丧。奥林·希弗斯曾经对这一点表达不满，而且说得头头是道。比如，研究变量类型的论文好像多得无穷无尽，尽管事实上静态类型语言看来无法真正支持宏在我看来，一种语言不支持宏，那ว就不值得使用了。
新语言更多地以开源项ำ目的形式出现，而不是以研究性项ำ目的形式出现。这是语言的一种展趋势。另一种展趋势是，新า语言的设计者更多的是本身就需要使用它们的应用软件作者，而不是编译器作者。这似乎是好的趋势，我期待它继续保持下去。
一百年后的物理学基本上不可能ม预ไ测。但是计算机语言不一样，现在就动手设计一种一百年后可以吸引使用者的新语言，这在理论上似乎是可能的。
设计新า语言的方法之一就是直接写下你想写的程序，不管编译器是否存在，也不管有没有支持它的硬件。这就是假设存在无限的资源供你支配。不管是今天还是一百年后，这样的假设好像都是有道理的。
你应该写什么程序？随便什么，只要能让你最省力地写出来就行。但是要注意，这必须是在你的思维没有被当前使用的编程语言影响的情况下。这种影响无处不在，必须很努力才能克服。你也许觉得，对于人类这样懒惰的生物，喜欢用最省力的方แ式写程序是再自然不过的事情。但是事实上，我们的思想可能往往会受限于某种现存的语言，只采用在这种语言看来更简单的形式，它对我们思想的束缚作用会大得令人震惊。新语言必须靠你自己้去现，不能依靠那ว些让你自然而然就沉下去的思维定势。
采用程序的长度作为它耗费工作量的近似指标是个很有用的技巧。这里的程序长度当然不是指字符的数量，而是指各种句法元素的总长度，基本上就是整个ฐ解析树的大小。也许不能ม说最短的程序就是写起来最省力的程序，但是当你一心想把程序写得简洁而不是松松垮垮时，你就更接近省力这个目标，你的日子也会变得好过得多。所以，设计语言的正确做法就变成了，看着一段程序，然后问自己้是不是能把它写得更短一点？
实际上，用想象出来的一种一百年后的语言来写程序，这件事情的可靠程度，取决于你对语言内核的估计是否足够正确。常规的排序，你现在就可以写出来。但是，想要预ไ测一百年后的语言使用什么เ函数库就很难了。很可能ม许多函数库针ฤ对的领域现在还根本不存在。比如，如果色ti@home计划
成功，我们就需要与外星人联系的函数库了。当然，如果外星人的文明高度达，已经到了用xml格式交换信息的地步，那ว就不需要新า的函数库了。
‘色ti@home是一个寻找地球以外智慧生命的科学实验、由á加州ะ大学伯克利ำ分校起并主持。它使用射电望远镜监听太空中的无线电信号，然后用计算机进行数据分析，如果现有些信号不可能自然产生，就可以证明外星文明的存在。199๗5๓年，该项ำ目决定向志愿者开放，使用全球联网的大量计算机进行分布式计算，1้9๗99年5月开始正式运行。详细情况参见色tiathomeberkeleyedu。——译者注’
另一个极端是，我觉得今天你就能ม设计出一百年后的语言内核。事实上，在有些人看来，大部分语言内核在1้9๗58年就已๐经设计出来了
。
‘lisp语言的第一版规格说明书是1958๖年布的。——译者注’
如果今天就能使用一百年后的编程语言，我们会用它编程吗？观古而知今。如果1้96๔0年就能使用今天的编程语言，那ว时的人们会用它们吗？
在某些方面，回答是否定的。今天的编程语言依赖的硬件在1้96๔0年并不存在。比如，python这样的语言，正确的缩进indentation在编写时很重要，但是196๔0年的计算机没有显示ิ器，只有打印机终端，所以编写起来就不会很顺利。但是，如果把这些因素排除在外你可以假设，我们只在纸上编程，2๐0่世纪6๔0年代的程序员会喜欢用现在的语言编程吗？
我想他们会的。某些缺乏็想象力、深受早ຉ期编程语言思想影响的人可能会觉得不可能。没有指针ฤ运算，如何复制数据？没有goto语句，如何实现流程图？但是我想，那时最聪明的程序员一定能轻松地使用今天的大多数语言，假定他们能得到的话。
如果我们现在就能ม拥有一百年后的编程语言，那ว就至少能用来写出优秀的伪码
。我们会用它开软件吗？因为一百年后的编程语言需要为某些应用程序生成快代码，所以很可能它生成的代码能ม够在我们的硬件上运行，度也还可以接受。相比一百年后的用户，我们也许不得不对这种语言做更多的优化，但是总的来看，它应该仍然会为ฦ我们带来净收益。
‘伪码又称虚拟代码，用来抽象地描述算法，而不是现实存在的编程代码。——译者注’
现在，我们的两ä个ฐ观点就是：1一百年后的编程语言在理论上今天就能设计出来；2๐如果今天真能设计出这样一种语言，很可能现在就适合编程，并且能够产生更好的结果。如果我们把这两个ฐ观点联系起来，那ว就得出了一些有趣的可能性。为什么เ不现在就动手尝试写出一百年后的编程语言呢？
当你设计语言的时候，心里牢牢记住这个目标是有好处的。学习开车的时候，一个需要记住的原则ท就是要把车开直，不是通过将车身对齐画在地上的分隔线，而是通过瞄准远处的某个点。即使你的目标只在几米开外，这样做也是正确的。我认为ฦ，设计编程语言时，我们也应该这样做。
1้2๐拒绝平庸
1้9๗95๓年，罗伯特·莫里斯和我一起创น办了via9๗eb。我们打算开软件，让用户可以自己้搭建网上商店。当时，我们的创意是把软件放在服务器端，使用普通的网页作为ฦ用户界ศ面。
当然，那个时候许多人可能都想到过这个ฐ主意。但是，就我所知，via9ebຘ是第一个互联网应用程序。在我们看来，这真的是很新颖的想法，所以我们就把公司命名为viaທ9eb，意即我们的软件通过网络使用，而不是运行在你的桌面电脑แ上
。
‘在英语中ณ，via是一个ฐ介词，意为“经过……”，所以viaທ9eb的意思就是经过网络。——译者注’
另一个ฐ特别之处是，这个ฐ软件主要采用lisp语言开
。它是最早的用lisp语言开的大型应用程序，在此之ใ前，lisp语言主ว要用于大学和实验室中ณ。
‘一开始的时候，viaທ9ebຘ有两个ฐ部分——编辑器和订单处理系统。前者用摸nlisp开，主ว要供用户搭建自己้的网站。后者用c语言开，主要用来处理订单。在via9๗eb的第一版中ณ，lisp是最主ว要的开语言，因为订单处理系统非常小，占用的代码很少。20่0่3年1月，yaທhoo布了viaທ9eb编辑器的新า版本，采用c++ใ和perl开。但是，为ฦ了把原始程序翻译成c++ใ，他们可能ม不得不专门写一个lisp解释器，因为ฦ据我所知，viaທ9eb所有的页面生成模板还没变，都是使用lisp代码。参见greenspun写的tenthrule一书第1้9๗8页ษ。’
秘密武器
埃里克·雷蒙德写过一篇文章《如何成为ฦ一个黑客》ho9tobຘeeaທhaທcker。文中ณ有一部分专门谈到เ，在他看来，如果你想当一个黑客，应该学习哪些语言。他建议从python和java入手，因为ฦ它们比较容易学。想当高级一点的黑客，还应该学习9ix系统，后者用来系统管理和开cgi脚本。最后，真正非常严肃地把黑客作为ฦ人生目标的人，应该考虑学习lisp：
lisp很值得学习。你掌握它以后，会感到它给你带来的极大启。这会大大提高你的编程水平，使你成为一个更好的程序员。尽管在实际工作中极少会用到lisp。
在讨论学习拉丁语有何价值时，你往往也会听到这一类的话。拉丁语无助于你找工ื作也许古典文学教授的工作除外，但是它可以训练你的思维，帮助你更好地运用母语比如英语进行写作。
但是且慢，拉丁语的比喻并不完全适合lisp语言。拉丁语无助于你找工作的原因是因为没有人说拉丁语。如果你用它写作，没有人能ม看懂。但是，lisp是一种计算机语言，无论我们程序员使用哪一种语言与计算机交谈，它都能听懂。
如果埃里克·雷蒙德没有说错，lisp语言确实可以使你成为更好的程序员，那么为ฦ什么你不使用它编程呢？如果画家有一支让他画得更好的画笔，我觉得他应该会用这支笔完成所有的画作，对不对？我在这里不是想证明埃里克·雷蒙德错了。他的观点整体上非常正确，他对lisp语言的看法确实是大多数人的看法，但是这里面就是有一个ฐ矛盾：lisp语言能ม让你成为更好的程序员，但你却不用它，这难道不奇怪吗？
为什么เ不用呢？编程语言毕竟是一种工具。如果lisp语言真的能ม开出更好的程序，你就应该用它。如果它无助于编程，那么เ就不会有人需要它。
这不仅仅是一个ฐ理论问题。软件业是竞争非常激烈的行业，而且容易出现垄断。在不考虑其他情况的条件下，某家公司的软件更快更好用，就会把竞争者赶出这个市场。一旦你开始创น业，你就会更深切地感受到这一点。一般情况是，创น业公司要么赢得一切，要么彻底失败。你要么成为ฦ富翁，要么一无所获。创业的时候，如果你选择了错误的技术，竞争对手就会一举打败你。
罗伯特·莫里斯和我都很了解lisp语言，我们相信自己้的直觉，找不出任何不使用它的理由。我们知道其他人都用c+ใ+或perl开软件，但是我们不觉得这说明了什么问题。如果别人用什么技术，你也用什么技术，那么เ你大概只能ม使用9indo9๗s了。选择使用哪一种技术的时候，你不能ม考虑别ี人的做法，只能ม考虑什么样的技术能最好地完成工作。
图12-1้我和罗伯特·莫里斯在via9ebຘ，1996年年初ม
创业公司尤其如此。大公司可以互相模仿，但是创น业公司就不行。我觉得很多人没有意识到这一点，尤其是一些创น业者。
大公司每年平均成长大约10%。所以，如果你掌管一家大公司，只要每件事都做到大公司的平均水准，你就能ม得到เ大公司的平均结果，也就是每年成长大约10่%。
如果你掌管创น业公司，当然也可以这样。你把每件事都做到平均水准，就能得到平均结果。问题在于，小公司的平均结果就意味着关门倒闭。创业公司的生存率远低于50%ื。所以，如果你掌管创业公司，最好做一些独特的事情，否则ท就会有麻烦。
回到1้995年，我们懂得一些竞争对手不懂的事情至少在我们看来是如此，这些事情甚至直到今天都很少有人懂：如果开只在自己服务器上运行的软件，这意味着你想用什么เ语言就能用什么语言。如果开桌面软件，就完全不一样了，大多数情况下你只能ม使用操作系统所用的开语言。10่年前，开桌面软件就意味着要使用c语言。但是，对于互联网软件，你能使用任何你想用的语言。如果你还同时拥有操作系统和语言的源码，那么เ你的自由就更大了。
但是，这种新出现的自由á是一把双刃剑。既ຂ然你可以使用任何语言，你就不得不思考到底使用哪一种语言。如果你的公司对这种选择的自由á视而不见，而竞争对手看到了，那么你就有被击败的危险。
如果选择哪种语言都行，你到底使用哪一种语言？我们选择lisp。先，很明显，对于这个市场来说，快开出产品是很重要的。我们所有人都是从零开始，所以能够快做出新า功能的公司就会取得巨大的竞争优势。我们知道lisp语言真的非常合适快开软件，而且我们的软件运行在服务器端，你一写完代码就能ม布出去，所以这又进一步放大了快开的效果。
如果其他公司不想使用lisp语言，那ว就更好了。这会让我们拥有技术优势。我们不能放过任何有利ำ的因素。创น办viaທ9eb的时候，我们对于如何经营一家公司毫无经验，对市场推广、雇用员工ื、融资、展新客户等都一无所知。在此之ใ前，我和莫里斯甚至连一夭正式上班的经历都没有。我们唯一擅长的事情就是开软件。我们希望这一点可以弥补我们的劣势。任何在软件开上面有助于我们获得优势的事情我们都不能ม放过。
可以这样说，我们使用lisp只是一个大胆的冒险。我们设想如果用lisp语言开自己的软件，就能ม比竞争对手更快地写出新功能ม，还能ม做到他们做不到的事情。同时，因为lisp是一种抽象层次非常高的语言，所以就不需要非常庞大的开团队，这会降低成本。如果我们的设想是正确的，那么我们就能用更少的钱做出一个更好的产品，从而获得利润。最终，我们将独占市场，竞争对手什么เ也得不到，到เ头来只能退出这个行业。我们当时心里就是这么盘算的。
这次冒险的结果如何？多少有点出人意料，它竟然达到了我们的设想。我们前前后后遭遇到很多竞争对手，一共大概ฐ有二三十个，但是他们的软件没有一个能ม与我们竞争。我们的软件运行在服务器端，用户可以“所见即所得”地搭建网上商店，感觉就像在操作桌面软件。我们的竞争对手使用cນgi脚๐本。我们在功能上总是遥遥领先于他们。有时，他们出于绝望，试图引入我们没有的功能ม。但是，有了lisp语言的帮助，我们的开周期很短。有时候，竞争对手刚刚布新闻稿宣布将引入新功能，我们就能在一两天内做出自己้的版本。当对手找来的记者抽出时间打电话过来想了解我们的反应，我们就会告诉他我们已经有了这个ฐ功能ม。
竞争对手一定觉得我们好像拥有了某种秘密武器，能ม够破解他们内部的通信或者其他机密。事实上，我们的确拥有秘密武器，但是没他们想的那么复杂。从来没有人向我们泄露他们的内部ຖ机密，只是我们的开度比别人想象的更快而已。
9岁时，我碰巧ู读过弗雷德里克·福赛思的《刺杀戴高乐่》thedayofthejackaທl。的主角是一个刺๐客，有人雇他暗杀法国总统。那个ฐ刺客必须通过警察的岗哨才能ม到เ达可以俯视总统行进路线的公寓。他扮成柱着拐杖的老头从警察身边经过，没有引起任何人的怀疑ທ。
我们的秘密武器很类似上面的情景。我们使用一种奇特的人工ื智能语言开软件，它的语法非常古怪，大量使用括号。多年来，要是听到别ี人这样描述lisp语言，我会勃然大怒。但是现在，这却成了我们的优势。在竞争中ณ，你的对手无法理解你的技术优势，这可是再宝贵不过了。商场如战场，对手摸不透你，你的胜算就增加了。
虽然有些令人难为ฦ情，但是我必须承认，就是因为ฦ这个ฐ原因，在via9๗ebຘ创业期间我从来没有公开谈论过lisp语言。我们对新闻媒体闭口不谈lisp，如果你在我们的网站上搜索lisp，只会现我在个ฐ人介绍中ณ提到เ过两次，那ว是我写的两ä本关于lisp的书。这是故意的，创业公司对竞争对手应该越保密越好。如果他们不知道或者不关心我们的软件用什么语言开，我就要把这个秘密保持下去
。
‘莫里斯觉得不用这么เ保密，因为即使竞争对手知道我们使用lisp语言，对他们也不会有帮助：“如果他们真的聪明，早ຉ就已经在用lisp编程了。”’
最了解我们技术的人就是客户。他们不关心viaທ9ebຘ用什么语言开，但是现它真的很好用。via9๗ebຘ可以让用户在几分钟็内搭建起漂亮的网上商店。因此，主ว要通过口碑效应，我们得到了越来越多的新客户。19๗96๔年年底，我们支持的网上商店大约是7๕0家。1997年，变成了500家。6๔个月后，雅虎收购我们的时候，我们有1070่个用户。更名为yahoostore之后，这个软件继续主导市场，它是雅虎获利最丰厚的业务之一，用它搭建的商店成为“雅虎购物”yahooshopping的基础。我在199๗9年离开了雅虎，所以不知道现在的准确用户数量，但是我上一次听到的数字是过了2万。
blub困境
lisp语言到เ底好在什么เ地方？如果它真的这么เ好，为ฦ什么没有得到广泛使用呢？这种问题听起来有点像绕口令，但是实际上回答起来很简单。lisp语言的好处不在于它有一些狂热爱好者才明白的优点，而只在于它是目前最强大的编程语言。它没有得到广泛使用的原因就是因为编程语言不仅仅是技术，也是一种习惯性思维，非常难于改变。当然，上面两句话都需要进一步解释。
我先从一个争议极大的命题开始讲起：编程语言的编程能力有差异。至少不会有人反对高级语言比机器语言更强大这一观点。今天的大多数程序员通常情况下都不会想用机器语言编程，而是使用一种高级语言，然后再让编译器帮你把它翻译成机器语言。这种观念甚至已经移植到เ了硬件，从2๐0世纪8๖0่年代开始，硬件的指令集都是针对编译器而不是针对程序员设计的。
大家都知道，徒手用机器语言写出整个ฐ程序是一件很蠢的事。但是，把这个观点推广到一种更普遍的情况，知道的人就不多了。如果你有好几种语言可以选择，在不考虑其他因素的情况下，你不选择最强大的那种语言就是一件很蠢的事
。
‘如果从图灵等价turing-equivatent的角度来看，所有语言都是一样强大的，但是这对程序员没有意义。没人想为图灵机编程。程序员关心的那种强大也许很难正式定义，但是有一个ฐ办法可以解释，那ว就是有一些功能在一种语言中是内置的，但是在另一种语言中ณ需要修改解释器才能做到，那ว么前者就比后者更强大。如果a语言有一个运算符，可以移除字符串ธ中的空格，而b语言没有这个ฐ运算符，这可能不足以称a语言比bຘ语言强大，因为你可以在b语言里写一个ฐ函数实现这个ฐ功能。但是，如果a语言支持某种高级功能假定是递归，而bຘ语言不支持，你就不可能ม通过自己้编写函数库解决了，所以这就代表a语言比bຘ语言更强大。’
上面这个观点有许多例外情况。如果在开的程序必须与另一个程序紧ู密配合，那么可能ม最好还是使用后者的开语言。如果你的程序只是要做一些很简单的事比如整数运算或者位操作，那ว就不妨使用一种比较靠近机器的低层次语言，主ว要原因是这样运行起来会更快一些。如果你的程序很短，只是为了特定场合一次性使用，那ว么你最好根据自己้要解决的问题选择具有最强大函数库的语言，不过，总的来看，对于应用程序来说，还是应该选择总体最强大、效率也在可接受范围内的编程语言，否则ท都是不正确的选择，就好像你选择机器语言编程一样，只是程度上有差异而已๐。
大家都公认机器语言属于非常低层次的语言。但是，至少在社会上很多人眼里，高级语言其实也差ๆ不多。但事实并非如此，高级语言与机器语言的差别ี很大。从技术上看，“高级语言”并不是一个定义แ很清晰的名词。在高级语言与机器语言之ใ间并不存在一条明确的分界ศ线。语言的抽象性是一条连续曲线，从最强大的语言一直到เ最底层的机器语言，每一种语言的能ม力都有差异
。
‘语言之ใ间的关系或许还可以比喻成栅格结构latticນe，从下往上朝着顶端慢慢收窄。具体的形状在这里并不重要，重点是语言之间至少存在着一种偏序关系paທrtialorder。’
以cobol语言为例，通过编译器，它可以被编译成机器语言。从这个角度来说它是一种高级语言。但是，有谁会真的把9—样强大的语言？比起python，它可能ม更接近机器语言。
perl4๒如何？与perl5相比，它不支持闭包。所以，大多数perl的黑客都认为perl5比perl4๒更强大。如果你同意这一点，就意味着你也认可一种高级语言可以比另一种高级语言更强大。因此，必然能够接着推导出，除了某些特殊情况，你就是应该使用目前最强大的语言。
不过在现实中这个结论很少能落实。到了一定年龄之后，程序员极少主ว动更换自己的编程语言。不管习惯使用的是哪一种语言，他们往往认为这种语言已๐经足够好了。
程序员非常忠于他们心爱的语言，我不想伤害任何人的感情，所以为ฦ了解释我的观点，我假设有一种bຘlub语言。它的抽象程度正好落在编程能力曲线的中点。它不是最强大的语言，但是要比cobol或机器语言更高级。
我们假设blubຘ程序员既不使用机器语言也不使用cobຘol语言。他认为前者是编译器的工作，后者他不知道有什么เ用cobຘol语言甚至连xx功能也没有，blub语言就具备这个功能ม。
只要这位程序员向曲线下方望去，他就肯定知道自己正在看的是一些比较低层次的语言。因为那ว些语言明显不如blubຘ语言强大，缺少他习惯使用的某些功能。但是，当他向曲线上方แ望去，他不会意识到自己正在看更高层次的语言，而是仅仅觉得自己้正在看某些奇怪的语言。他可能ม认为那些语言也许与blub一样强大，但是加入了不少怪东西。他觉得blub语言已经够用了，不用再考虑那ว些语言了。这时，他的思维就是已经被blubຘ同化了。
但是，当我们转换视角，把自己้想象成使用曲线更上方แ某一种语言的程序员并往下看的时候，我们就会现，自己也同样轻视blub语言。你怎么用bຘlub语言完成工作呢？它甚至连yy功能都没有！