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