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