一條長(zhǎng)久以來(lái)的編程原則講,程序的基本功能組件不應(yīng)該太大针史。如果某些組件的體積膨脹超過了使它們易于理解的程度晶伦,它們就會(huì)變得像一個(gè)藏污納垢的大城市一樣,成為了一個(gè)巨大而容易包含錯(cuò)誤的復(fù)雜體啄枕。這樣的軟件將變得難于閱讀婚陪,難于測(cè)試,難于調(diào)試频祝。
經(jīng)驗(yàn)還告訴我們泌参,一個(gè)大程序應(yīng)該分割成不同的組件來(lái)編寫脆淹。程序越大,它被分出的組件數(shù)目也應(yīng)該越多沽一。那么如何分割盖溺?傳統(tǒng)的編程方法是使用“自頂向下設(shè)計(jì)”。例如說(shuō):“某程序的設(shè)計(jì)目標(biāo)是做這七件事铣缠,于是我把它分成了七個(gè)主要的子程序烘嘱。其中第一個(gè)子程序是要做這四件事,因此它又被繼續(xù)分為四個(gè)更小的子程序”蝗蛙,等等拙友。這樣的分割一直進(jìn)行到整個(gè)程序的分割粒度比較合適為止——每個(gè)組件都足夠大因而能完成某個(gè)實(shí)質(zhì)性任務(wù),同時(shí)它也足夠小歼郭,使得它作為一個(gè)獨(dú)立的單元容易被人理解遗契。
而有經(jīng)驗(yàn)的Lisp程序員會(huì)用不同的方式分割他們的程序。除了自頂向下的設(shè)計(jì)之外病曾,他們還會(huì)遵從一種被稱為“自底向上設(shè)計(jì)”的原則——改寫編程語(yǔ)言本身來(lái)適應(yīng)問題的結(jié)構(gòu)牍蜂。在Lisp中,你不僅僅可以面向編程語(yǔ)言來(lái)向下編寫出程序泰涂,還能逐步構(gòu)筑自己的語(yǔ)言來(lái)向上編寫出代碼鲫竞。舉個(gè)例子,在寫代碼的過程中你可能會(huì)思考說(shuō)“哦我希望Lisp中有這樣或那樣的操作符”逼蒙,此時(shí)你就可以徑直去實(shí)現(xiàn)它从绘。之后你可能就會(huì)意識(shí)到新添加的操作符也會(huì)簡(jiǎn)化程序其他部分的設(shè)計(jì),如此等等是牢。這樣的話僵井,編程語(yǔ)言和程序就會(huì)共同進(jìn)化。仿佛是兩個(gè)交戰(zhàn)的國(guó)家的邊境線一樣驳棱,語(yǔ)言和程序之間的界限經(jīng)過程序員的反復(fù)重畫和界定批什,最終沿著山川與河流確定下來(lái)——那是你要解決的問題本身的天然性質(zhì)所處的位置。當(dāng)語(yǔ)言和程序彼此契合之時(shí)社搅,你得到的代碼就會(huì)變得干凈驻债,簡(jiǎn)單和高效。
值得強(qiáng)調(diào)的是形葬,自底向上的設(shè)計(jì)不僅僅意味著換個(gè)次序?qū)懗绦蚝夏拧.?dāng)采用自底向上方法論時(shí),你通常會(huì)得到一份與之前相比大相徑庭的程序笙以。取代了之前結(jié)構(gòu)單一淌实,耦合緊密的大塊程序,你得到的是一個(gè)帶有更多抽象操作符的更大的語(yǔ)言集,和一個(gè)使用該語(yǔ)言的更小的程序翩伪。取代了整塊石頭構(gòu)成的門楣,你得到的是由多塊石頭緊密結(jié)合組成的曲形門拱谈息。
采用這樣的方法缘屹,一旦你抽象出程序中僅僅作為簡(jiǎn)記的部分,剩下的部分就更小了侠仇。你把編程語(yǔ)言的平臺(tái)構(gòu)筑的越高轻姿,你從頂向下需要前進(jìn)的距離就越少。這樣帶來(lái)幾個(gè)好處:
通過讓編程語(yǔ)言處理更多的工作逻炊,自頂向上設(shè)計(jì)使得程序更加簡(jiǎn)短互亮,開發(fā)更加敏捷。更短小的程序不需要分割成那么多的組件余素,而更少的組件意味著程序易讀易改豹休。同時(shí),組件之間的耦合減少意味著程序更不容易出錯(cuò)桨吊。正如工業(yè)設(shè)計(jì)師努力減少機(jī)器中可移動(dòng)部件的數(shù)量一樣威根,有經(jīng)驗(yàn)的Lisp程序員使用自底向上方法減小代碼的長(zhǎng)度和錯(cuò)誤。
自底向上設(shè)計(jì)鼓勵(lì)代碼重用视乐。當(dāng)寫兩個(gè)以上程序的時(shí)候洛搀,你為第一個(gè)程序?qū)懙暮芏喙ぞ咴诮酉聛?lái)的任務(wù)中將得到復(fù)用。一旦你手里握有足夠多作為基礎(chǔ)的工具集佑淀,寫新程序的時(shí)候你會(huì)發(fā)現(xiàn)所需要的勞動(dòng)比最開始時(shí)從一個(gè)新Lisp入手所需要的勞動(dòng)少的多留美。
自底向上設(shè)計(jì)使程序更加易讀。一個(gè)類型抽象的實(shí)例就是讓讀者理解一個(gè)普適的操作符伸刃,一個(gè)函數(shù)抽象的實(shí)例就是讓讀者理解一個(gè)特殊用途的子程序谎砾。
由于自底向上設(shè)計(jì)方法促使你一直尋找代碼中的固定模式,以這種方式工作可以幫助你明晰對(duì)要寫的程序的設(shè)計(jì)的想法捧颅。如果程序中兩個(gè)相隔遙遠(yuǎn)的組件有相同的結(jié)構(gòu)形式棺榔,你會(huì)注意到其中的相似性,也許能因此簡(jiǎn)化你的程序設(shè)計(jì)隘道。
自底向上設(shè)計(jì)在Lisp以外的程序語(yǔ)言中也可以得到某種程度的實(shí)現(xiàn)症歇。庫(kù)函數(shù)就是自底向上思想的體現(xiàn)。然而谭梗,在這方面Lisp語(yǔ)言能給你更廣泛的支持忘晤,增強(qiáng)語(yǔ)言功能是Lisp風(fēng)格編程非常重要的組成部分——所以Lisp不僅僅是一個(gè)不同的語(yǔ)言,它是一種截然不同的編程風(fēng)格激捏。
一方面设塔,自底向上編程更加適合那些容易分而治之的程序。不過远舅,它同時(shí)也增強(qiáng)了程序一個(gè)組件的實(shí)現(xiàn)能力闰蛔。在《人月神話》一書中痕钢,F(xiàn)rederick Brooks假定一組程序員的生產(chǎn)力并不隨著人數(shù)增加而線性增長(zhǎng)。隨著小組人數(shù)增加序六,單個(gè)程序員的生產(chǎn)力下降任连。Lisp的編程經(jīng)驗(yàn)讓我對(duì)此有一個(gè)更加樂觀的表述:隨著小組人數(shù)減少,單個(gè)程序員的生產(chǎn)力提高例诀。一個(gè)小組之所以能贏随抠,只是因?yàn)樗鄬?duì)來(lái)說(shuō)更小而已。當(dāng)一個(gè)小組能夠充分利用Lisp技術(shù)的優(yōu)勢(shì)繁涂,它的勝出將是不可避免的拱她。