各種編程語言優缺點


(譯註:聖經記載:在遠古的時候,人類都使用一種語言,全世界的人決定一起造一座通天的塔,就是巴別塔,後來被上帝知道了,上帝就讓人們使用不同的語言,這個塔就沒能造起來。 巴別塔不建自毀,與其說上帝的分化將人類的語言複雜化,不如說是人類自身心靈和諧不再的分崩離析。之所以後來有了翻譯,不僅是爲了加強人類之間的交流,更寄達了一種願望,希望能以此消除人際的隔閡,獲求來自心靈的和諧及慰藉。真正的譯者,把握血脈,撫平創痕,通傳天籟,開啓心門。)

這是我寫的旋風式的編程語言簡介 —— 我本來爲亞馬遜開發者雜誌本月的期刊寫的,但是發現我寫的東西沒法見人。

首先,我偶爾一不小心口出髒話,或者對上帝不恭的話,所以在很官方很正式的亞馬遜上發表是不合適的; 所以我就把它塞到我的博客裏了,我的博客反正沒人看的。除了你以外。是的,只有你會看,你好啊。

其次,這是一項進行中的工程,現在只是東打一耙西搞一下,還沒有精加工過的。又一個把它寫到博客裏的很大的理由。不需要很好,或很完整。就是我今天想說的一些話。請隨便!

我的旋風式簡介會講C、C++、Lisp、Java、Perl (我們在亞馬遜用到的所有語言)、Ruby (我就是喜歡) 和 Python,把 Python 加進來是因爲 —— 好吧,你看了就知道了,現在我可不說。

C

你必須懂C。爲哈? 因爲出於所有現實的理由,這個世界上你過去,現在,將來會用到的每一臺計算機都是一臺馮·諾曼機器,而C是一種輕量級的,很有表達力的語法,能很好的展現馮·諾曼機器的能力。

馮·諾曼架構就是你每天都用的計算機的架構的標準:一個 CPU,內存,硬盤,一條總線。多核計算機並沒有帶來本質上的變化。馮·諾曼機是一個很方便,很便宜,上世紀五十年代的實現圖靈機的技術,圖靈機是執行計算的最知名的抽象模型。

世上還有其他的計算的機器。比如,Lisp 機器,是上世紀 50 年代對 Lisp 計算模型的實現。Lisp 模型是基於 lambda 代數的一種計算語言表示法,後者是與圖靈機同構的一種模型。不像圖靈機,lambda 代數能被人類讀和寫。但是這二者是同等能力的。它們同樣精確的表示了計算機能幹什麼。

Lisp 機現在不是很流行了,除了在跳蚤市場裏。從誰更受歡迎來說,馮·諾曼機器贏了。還有一些其他的計算機,比如神經網絡計算機,譯者也不知道怎麼翻的計算機(cellular automata),但是這些都不夠大衆化,至少現在是這樣的。

所以你必須知道C。

還有一個你必須知道C的原因是,Unix 是用C寫的。巧的是,Windows 也是。基本上所有的其他操作系統都是用C寫的。因爲這些操作系統都是馮·諾曼機的操作系統,你還能用別的嗎? 任何跟C很不一樣的東西都會跟硬件的實際能力相差太遠而導致無法滿足性能上的需要,至少對一個操作系統來說是這樣—至少在上個世紀是這樣,碰巧這些系統都是上個世紀的。

你還應該知道 Lisp。你不必用它來幹實際工作,雖然它在很多 GNU 的軟件裏都會很用得着。尤其是,你應該學會 Scheme,Lisp 的一種小巧化的,純潔的方言。GNU 的版本叫 Guile。

他們在麻省理工和加州伯克利教新學生一到兩個學期的 Scheme,這些學生都對他們爲哈要學這麼奇怪的語言抓破腦袋。實話實說,作爲第一門學習的語言,這是一個很爛的選擇,第二門也是很爛。你應該學會它,最終,但不是作爲第一門或第二門語言。

這是很難的哦。這是很大的一步。學會怎麼用 Lisp 寫出像C語言的程序是不夠的,那沒有意義。C 和 Lisp 一個就像紅外線,一個就像紫外線,它們分佈在光譜的最兩端。它倆一個牛逼的地方剛好是另一個傻逼了的地方。

如果說,C是最靠近計算機是如何工作的語言模型,Lisp 就是最能反映計算(注意,這裏沒有了“機”字,計算機和計算是很不同的!譯者注)是如何工作的模型。你不需要懂很多 Lisp,真的。緊咬 Scheme 就哦了,因爲它是最簡單最乾淨的。其他的 Lisp 已經發展成了很大,很複雜(很好很強大? 譯者:-)的編程環境,就像 C++ 和 Java,要有很多庫啊,工具啊等等之類。那些,你不需要知道。但是你應該能用 Scheme 寫程序。如果你能夠做出 The Little Schemer 和 The Seasoned Schemer 這兩本書裏的所有習題,你懂得就夠多了,我認爲。

但是對於你天天要做的編程工作,你應該基於以下條款選擇你的語言:庫,文檔,工具支持,操作系統集成,資源,和一堆其他的東西。這些條款跟計算機如何工作關係很小,但是跟人類如何工作關係甚大。

人們還在用很直白的C語言寫東西。很多東西。你應該懂C!

C++

C++是地球上最蠢的語言,即使是從蠢這個字的真正意義上出發。C++很無厘頭。它不知道自己是什麼東西。它沒有自省(introspective,面向對象裏的一個概念,譯者注)。C也沒有,但是C不是“面向對象”的,而面向對象很大程度上是關於要讓你的程序知道它自己。對象就像演員。所以面嚮對象語言應該有運行時的自省機制,知道自己是個什麼類的對象。C++不是這樣的,真的,你不會那樣用它。

關於C:寫一個C的編譯器是那麼的簡單,以至於你可以用C寫一個關於C的工具,用起來就像是有內省機制。而 C++ 呢,基本上是不可解析的,所以如果你想寫一個很牛逼的工具用來 —— 比如,告訴你你的虛函數的原型,或者幫你重構你的代碼,你將不得不依賴別人的工具集,因爲你自己在除非腦子進屎的情況下是根本不會去寫一個 C++ 的解析器的。而市面上所有的 C++ 的解析器都很傻逼。

C++很蠢,你不能用蠢語言創造一個好系統。語言決定世界,蠢語言決定蠢世界。

所有的計算都基於抽象。你用低級的東西創造出高級的東西。但是你不能用分子創造出一個城市。嘗試使用太低級別的抽象只會給你帶來麻煩。

我們就惹上麻煩了 (是指亞馬遜的員工,還是所有 C++ 的程序員? 我也不知道,譯者注)。

理智的情況下,你用C寫的最大的東東就是一個操作系統。而操作系統其實不是很大的,真的。它們看起來很大,但那是因爲它們有很多應用軟件,操作系統本身的內核是蠻小的。

你用 C++ 能寫的最大的東東是…也是操作系統。好吧,或許稍微再大點兒。讓我們說,再大三倍吧。或者 10 倍吧。但是操作系統內核最多也就,那啥,一百萬行代碼? 所以我說你能用 C++ 寫的最大的系統大概也就是一千萬行代碼吧,再大的話就開始不行了,這玩意兒你沒法控制了,就像恐怖片裏的…

我說的一千萬行是指如果你那時候還能讓你的系統編譯通過的話。

我們(在亞馬遜,譯者注)有五千萬行 C++ 代碼。不,現在還要更多了。我已經不知道有多少行了。上個聖誕節是五千萬行,那是九個月前,而它以每季度八百萬行的規模增長。增長率本身也增長,媽呀。

我們想在這個系統裏乾點啥好像要一萬年。一個亞馬遜工程師有一次這樣描述我們的代碼庫:“一座很大的屎山,你見過的最大的山,每次你想修正一個 bug,你的工作就是爬到屎山的正中心去。”

夥計們,那哥們可是在四年前說的這話。他現在已經到更環保綠色的牧場上去了。真是太可惜了,他可是個實實在在的高手啊。

這都是 C++ 的錯。別跟我爭論。就是的。我們用的是世上最蠢的語言。這簡直有點老闆級的蠢,你說呢? (譯者注,meta 在計算機術語裏通常表示更高一個層次,比如,meta-language,比普通的 language 高一個層次,意思是關於語言的語言。哲學裏應該會經常用到這個詞。我不懂哲學,但是我覺得老闆們總是比我們高一級,所以 meta-dump 我就翻譯成老闆級的蠢嘍。:-)

說了以上這些難聽的話,話得說回來了。用 C++ 寫出漂亮的代碼顯然是可以的,我的意思是說,這樣的代碼應該大部分還是C,偶爾很有品味的,很有節制的用一點C++。但是這種代碼幾乎從來不會被寫出來。C++是個很好玩的遊樂場,而如果你把它玩兒得門兒清的話你會覺得自己特牛,所以你總是被誘惑把你知道的所有的東西都用上。但是那是很難做好的,因爲從一開始這個語言就太狗屎了,最終,你會弄得一塌糊塗,即使你很能幹。

我知道,我說的都是異端邪說,該被釘到十字架上的。隨便吧。我在大學裏的時候老喜歡 C++ 了,因爲我那時候就只知道這一門語言。當我聽到我的語言教授,Craig Chambers,絕對的厭憎C++,我想:“爲啥呢? 我覺得它挺好的啊”。而當我聽到 STL (標準模板庫)的發明者被採訪時說他恨 OOP (面向對象編程)時,我更是認爲他肯定是磕藥了。怎麼會有人恨 OOP 呢,而這個人竟然還是 STL 的發明者?

親不敬,熟生厭(語出聖經,譯者注)。說的是在大多數情況下,跟一件事物熟悉了之後你就失去對它的膜拜尊敬了; 在計算機語言裏情況不是這樣的。光對一門語言熟悉不會導致你看輕這門語言。你必須成爲另一門更優秀的語言的專家(才能讓你明白原來那門語言有多麼多的問題)。

所以如果你不喜歡我針對 C++ 大放厥詞,請你去學另一門語言併成爲一個專家(我推薦 Lisp),只有那時你纔有足夠的武器與我爭論。然而,那時你將不會跟我爭了。你上了我的當了。你也會跟我一樣變得不喜歡 C++ 了,你或許會覺得我這個人很噁心,把你騙得不喜歡自己曾經的最愛了。所以或許你應該把我說的一切都忘了。C++挺好的其實,真的。它就是很棒棒(譯者注,作者在這裏用了 ducky,這是一個女性喜歡用的誇某物好的詞,近來也爲玻璃們喜愛)。忘了我說的話。C++不錯的。

Lisp

(我打賭這一節會讓你覺得驚訝,即使你已經關注我的博客有一陣了[譯者注,作者也可能是說,即使你成爲亞馬遜的員工有一陣了])

亞馬遜創業之初,我們有很多明星級的工程師。我不認識他們所有人,但是我認識幾個。

比如?Shel Kaphan, 大拿。Greg Linden, 大拿。Eric Benson。即使在他加入亞馬遜之前就已經有自己響亮的名氣了。也是大拿。

他們寫了 Obidos 服務器。是 Obidos 讓亞馬遜成功的。只是後來那些生產大便很拿手的工程師,網頁開發者,搞前端的人 —— 這些人因爲生產大便很拿手而總是能讓經理們滿意 —— 只是在後來這些人把 Obidos 搞糟了。(他們的大便)把整條河都堵了,打個比方說的話。但是 Obidos 是亞馬遜最初的成功的一塊關鍵的基石。

這些最早的牛人們在亞馬遜神聖的代碼庫裏只允許兩種語言:C 和 Lisp。

你自己去想吧。

當然,他們所有人都使用 Emacs。靠,Eric Benson 是 XEmacs 的作者之一。這個世界上所有偉大的工程師都在用 Emacs[注1]。那種世界因你而不同級別的偉大。不是坐在你旁邊的格子裏的那哥們那種偉大。也不是 Fred,走廊盡頭那哥們。我說的是我們這個行業裏最偉大的軟件開發者,那些能改變這個工業的面貌的人。像 James Gosling 們(Java 語言設計者),Donald Knuth 們(這個人沒有聽說過的話趕緊改行吧,別搞計算機了),Paul Graham 們[注2],Jamie Zawinski 們,Eric Benson 們。真正的工程師用 Emacs。你必須很有點聰明才能把 Emacs 用好,而如果你能成爲一個 Emacs 大師的話它會給你難以置信的牛力。有機會的話你應該站到 Paul Nordstrom 的肩後看看他是怎麼工作的,如果你不相信我的話。對那些一輩子都在用爛 Visual Studio 之類的集成開發環境的人來說,一定會大開眼界的。

Emacs 是那種你可以用 100 年的編輯器。

Shel, Eric, Greg,和其他像他們那樣的人,我沒有足夠幸運能跟他們直接一起工作:他們禁止在這裏使用C++,他們禁止使用 Perl(或者 Java,爲完整起見)。他們是明白人。

現在我們都在用C++,Java 和 Perl 了,所有的代碼都用這些語言。我們的前輩們已經到更環保的牧場上去了 (指沒有大便的牧場,譯者注)。

Shel 用 C 寫了 Mailman,客服部的人把它用 Lisp 封裝了一下。Emacs-Lisp。你不需要知道 Mailman 是什麼東西。除非你是個 Amazon 的老員工,或許不是搞技術的,而且你曾經不得不讓客戶哈皮 (只有在這種情況下你才需要知道 Mailman,譯者注)。不是間接的,因爲你用 C++ 寫的一個狗屎功能跑不起來了,讓客戶很生氣,於是你不得不去搞定它以恢復客戶的哈皮度。不,我是說直接的,意思是,你必須跟他們聊。我們可愛的,不識字的,呱呱其談的,心地善良的,充滿希望的,困惑的,能幫點小忙的,憤怒的,哈皮的客戶們,真正的客戶們,那些從咱們這裏買東西的人,我們的客戶們。(如果你必須跟他們打交道的話,)那你就會知道 Mailman 這個東西。

Mailman 是客服部的客戶電子郵件處理軟件,我們用了它有…四,五年? 反正是很長時間。它是用 Emacs 寫的,所有人都愛死它了。

人們現在還很愛它。直到今天,我依舊不得不聽我們一些非技術員工跟我長篇大論的叨叨他們是多麼的懷念 Mailman。我可絕不是滿嘴噴糞。上個聖誕節我參加了一個 Amazon 的派對,一個我不知道自己怎麼會被邀請的派對,裏面全是些西裝筆挺的商務人士,誰都長得比我帥,比我光鮮。以及一些我在公司裏曾經打過交道的人(這句不知道怎麼譯)。四個美女認出了我是在客服部裏乾的,把我包圍了,跟我說了十五分鐘她們是多麼的懷念 Mailman 和 Emacs,而現在的亞馬遜(我們用 JSP 花了好多年準備換掉 Mailman 的那一套軟件)是怎麼的不能滿足她們,讓她們覺得跟以前一樣爽。

這一切都太夢幻了,我覺得她們可能是喝多了。

Shel 是個天才。Emacs 是天才。連非技術人員都愛 Emacs。我現在就是在 Emacs 裏打這些文字。我絕不情願在任何其他地方打字。這不只是關於讓你的效率得到飛躍,通過那些地球上其他地方找不到的快捷鍵和文本編輯功能。我每分鐘打一百三到一百四十個英文單詞,在 Emacs 裏,當我在寫沒有格式要求的文本的時候。我測過這個時間速度。自己寫了一個測打字速度的 Emacs 應用。但我想跟你說的不只是這個。

Emacs 有的是一種你叫不出名字來的品質。

我們現在不用 Mailman 了。那是因爲我們有一種叫得出名字的品質 —— 就是,爛。我們很爛。我們(當時)找不到 Emacs-Lisp 足夠牛的人把 Mailman 繼續搞下去。今天這應該不難了; 亞馬遜現在到處都是 Emacs Lisp 的黑客。但是在那時候,客服部的人沒法從別人那裏得到幫助。於是他們就用他們當時手頭有的資源去搞這件事。他們當時沒有足夠多的 Emacs-Lisp 的人。有一段時間,他們甚至找來 Bob Glickstein 當合同工,那個給 O’Reilly 寫了那本 Gnu Emacs 擴展的書的傢伙,坐在一個小辦公室裏給 Emacs 寫 Mailman 的擴展。

客服應用部是 Amazon 的第一個兩塊比薩餅的團隊(代表團隊人數的增加,編者注)。這個團隊是完全自立的。不管是那時還是現在。沒人跟他們說話,沒人幫他們。沒有槍,沒有炮,他們自己造。他們沒有網頁工程師,沒有支持工程師。屁也沒有。有的只是一堆骨灰級的工程師和一個能帶新人的文化。這就是他們需要的一切了。

但他們最終不得不讓 Mailman 光榮退休。媽哎。而我呢今天還聽到人們說他們是多麼的懷念它。甚至在派對上。

我想今天按人頭比例來說,客服部仍然擁有比亞馬遜任何其他團隊更多的 Lisp 黑客。可能他們用到 Lisp 的機會不多了,但是 Eric Raymond 說過,即使你很少用 Lisp 寫程序,學習 Lisp 會是意義深遠的一個經歷,能讓你下輩子都成爲一個更好的工程師。

卡爾,宗教現在已經不是大衆的精神鴉片了。現在鴉片是集成開發環境了。(卡爾·馬克思。這個人不知道的話應該打屁屁)。

Java

Java 是過去的 10 年中計算行業裏發生過的最好的同時也是最壞的事。

一方面,Java 把你從 C++ 編程的很多枯燥易錯的細節中解救出來了。沒有數組越界了,沒有 core dump 了。拋出來的異常能讓你精確定位到出錯的那一行代碼,而且 99% 的時候都是正確的那一行出錯了的代碼。對象們在需要的時候能智能地把它們自己打印出來。等等等等。

另一方面,除了是一種語言,一個虛擬機,一個巨無霸的類庫,一個安全模型,一個可移植的字節碼格式,Java 還是一個宗教。邪教。所以你不能太相信對它太虔誠的人。想要招一個好的 Java 工程師是一項很有技術挑戰的活。

但是總的來說,Java 是軟件工程史上的一大進步。

從 C++ 到 Java 不只是語法上的改變。這是一種需要一段時間去好好體會的一種震撼性的世界觀的轉變。這有點像突然你被配了一個執行助理。你知道老總們爲什麼總是好像有時間去開會,總是知道公司現在運行的情況,總是寫出很酷酷的文檔嗎? 老總們常常忘記其實他們不是一個人在戰鬥,他們都是兩個全職的人,他們和他們的執行助理們。有一個執行助理把你從瑣事中解救出來讓你有時間去思考那些真的需要你去解決的問題; 沒有的話你將不得不花一半的時間在那些無聊的世俗的事情上。切換到 Java 編程語言就把你變成了兩個程序員 —— 一個處理那些你不需要關心的東西,另一個可以集中精力在問題本身上。這是一個很震人的改變,一個你應該很快就能習慣能喜歡上的改變。

就像 Jamie Zawinski (Netscape 牛人,開發 Mozilla 瀏覽器,好像學歷是高中畢業?)在他著名的“Java 真爛(java sucks)”那篇文章裏說的:“先說那些好東西:Java 沒有 free() 函數。我必須一開始就承認,其他的東西都沒什麼了不起。(沒有 free)是能讓我原諒其他所有東西的特性,不管其他東西有多爛。講完這一點後,我的文章裏其他一切幾乎都完全沒有重要性了。”

Jamie 的文章寫在 1997 年,按 Java 年來算的話是很早以前了,跟他寫這篇文章時比,Java 已經有很大的改善; 一些他抱怨的東西甚至已經被 fix 了。

但是大多數還是沒有被 fix。Java 作爲一門語言還是有點爛。但就如 Jamie 指出的,Java“是今天爲止最好的語言。我的意思是說,它是今天市面上那些爛得底兒掉地一堆語言比起來有那麼一點能被我接受。”

真的,你應該讀讀他那篇文章

Java 幾乎每一方面都很好,除了它的語言本身,而這是 JWZ 抱怨的主要對象。但那是一個很大的抱怨。再好的庫也救不了一個爛語言。相信我:你可能比我知道多得多的東西,但是我知道好兵救不了爛將。在 Geoworks 搞了五年彙編語言都會了我這個道理。

跟 C++ 比,Java 作爲一個語言還過得去。好吧,別扯了,Java 要好很多。因爲它有(內建)的字符串。哥們,你說一個沒有內建的字符串的語言是人用的嗎。

但是 Java 跟 C++ 比少了一些好東西,比如(函數調用時)傳引用,棧上的對象,typedef,宏,以及運算符重載。一些時不時地會很稱手的東西。

哦,還有多重繼承,我現在老了,反而挺欣賞了的多重繼承。如果你認爲我這個觀點僵硬不靈活的傢伙是多態教義很好的反例的話,我倒是可以給你舉幾個爲什麼你需要多態繼承的好例子,或者至少像 Ruby 那樣的 mixin 或者自動的派遣。下次問問我白龍馬的事情。今天我要告訴你爲什麼 Java 的 interface 是個爛貨。

幾年前 Gosling 自己都說,如果一切都能重來的話,他不會搞出個 interface 的概念。

但是那正是 Java 的問題。當 James 說出那句話的時候,人們被雷到了。我甚至能感覺到那股雷勁兒,能感覺到 Sun 公司市場部和法務部的鳥人是多麼想把 James 滅口,然後告訴大家他沒那麼說過。

Java 的問題就是人們都被那幫人搞的廣告效應矇住了眼。C++,Perl,任何流行語言都有這個問題。這是很嚴重的,因爲如果沒有一些說大話吹牛逼的廣告,一個語言是不會流行起來的。所以如果一個語言的設計者說他的語言沒有被設計得很完美的話,就是趕緊用麻醉槍射擊這胡說八道的傢伙並關閉會議的時候了。

語言們需要放點兒衛星才能活,我只希望人們不要被衛星耀瞎了眼。

我學了面向對象編程, 我自己也對此大吹大擂。當我加入亞馬遜時,我不能告訴你我有什麼智慧或者經驗,但我可以給你背誦出所有關於 OOP 的魔咒。多重繼承是邪惡的,因爲大家都這麼說; 運算符重載是邪惡的,諸如此類。我甚至有點模糊地知道爲什麼是邪惡的,但實際上不知道。後來我明白了,這些都不邪惡,不是爛玩意兒,爛的是開發者,是我。我現在還是爛,但是希望每年都不爛一點起來。

上禮拜我碰到一個來面試的,他告訴我多繼是邪惡的,因爲,比如,你可以從頭,胳膊,腿,軀幹多重繼承出一個人來。他既是對的,又是錯的。那樣的多繼情形當然邪惡,但那都是因爲他自己太邪惡了。那樣繼承出來的“東西”遠遠就能看見有多蠢,如果他還把這玩意兒弄進門來那就更邪惡了。

不良開發者,佔了這世上開發者的大多數,他們能用你扔給他們隨便什麼語言寫出不良的代碼。

說了這些,還是得說回來,多繼不是請客吃飯那麼輕鬆的事兒; mixin 看起來是更好的解決方案,但是還沒人完美的解決這個問題。但我還是認爲 Java 比 C++ 好,即使它沒有多繼。因爲我知道不管我的出發點是多麼好,某一天我還是會被一堆不懂怎麼寫好代碼的人包圍,讓他們用 Java 比用 C++ 會帶來更少的傷害。

此外,Java 除了語言本身外還有老多其他的重要有用的東西。且 Java 語言本身也在進化,雖然像冰川一樣慢,所以我們還是能看到希望。Java 正是我們應該在亞馬遜推薦使用的語言。

你就是得小心點兒,因爲和其他任何語言一樣,你能很容易找出一堆人,他們很懂一門語言及其編程環境,但對品味,計算或者其他任何重要的東西卻一無所知。

當你有懷疑時,還是僱那種會好幾門語言的 Java 程序員,那種厭憎 J2EE/EJB 之類鬆鬆跨跨的所謂框架的,那種使用 Emacs 的。這都是一些實戰經驗。

Perl

Perl,怎麼說呢?

Perl 是個老朋友。老老朋友。我開始寫 Perl 代碼的時候,可能是 1995 年。而它爲我很好的服務了差不多 10 年的時間。

它就像你騎了十萬二十萬英里的老自行車,你心裏永遠有一塊地方裝着它,雖然現在你已經換了一輛更加現代化的只有五磅重的自行車,而且這一輛也不像老的那輛頂得你屁眼疼了。

Perl 受歡迎原因有仨:

  1. 用 Perl 你很快就能搞定你的問題。而這是最終的衡量標準。
  2. Perl 有世上最好的市場推廣。你可以寫一本介紹他們市場推廣有多絕的書。Sun 公司砸大筆錢給 Java 推市場,Perl 在受歡迎程度來說能跟 Java 齊頭並進,但 Perl 純粹是依靠 Larry Wall 和他那幫哥們的三寸不爛之舌做市場。哈佛商學院的人應該去研究 Perl 的市場是怎麼做出來的。真的讓人瞠目結舌。
  3. 直到差不多,呃,現在,Perl 沒有真正的競爭者。

有比 Perl “好”的語言。操,有很多比 Perl 好的語言,如果你定義“好”爲“不是給瘋子用的”的話。Lisp, Smalltalk, Python,媽呀,我可能可以列出二三十種比 Perl “好”的語言。從這些語言不像這個夏天在臺灣街頭爆了肚皮的抹香鯨這個角度來說。鯨魚腸子到處都是,汽車上,機車上,行人身上。這就是 Perl。讓人着迷,真的。

但是 Perl 有很多很多好的特性,直到最近,都是其他語言沒有的。它們彌補了 Perl 腸子在外的不足。你可以從爆了肚皮的鯨魚可以做很多有用的東西出來,比如香水。這很有用。Perl 也是這樣。

當其他的那些語言(尤其是 Lisp 和 Smalltalk)都想假裝操作系統並不存在,列表(Lisp 的)和對象(Smalltalk 的)就是把屎搞出來的唯一存在,Perl 卻走了截然相反的路子。Larry 說:Unix 和字符串是搞出屎來的唯一存在。

對很多任務來說,他絕對是正確的。所以 Perl 絕對是 Unix 系統管理和字符串處理的史上最強語言,除了一個,剛出來的一個,從哥斯拉(電影哥斯拉看過沒)之地出來的一個。我一會兒會講到那一個。

可惜,Larry 太太太太在意 Unix 系統管理和字符串處理以致他壓根忘了列表和對象,等他明白過來想改正的時候已經晚了。實際上,在 Perl 早期的…好吧,對鯨魚腸子我實在不想用“設計”這個詞,就說生命週期中吧,他犯的幾個關鍵錯誤讓把列表和對象加進來變得如此尷尬,以致 Perl 已經進化成一個真正的 Rube Goldberg 機器,至少當你想在 Perl 裏用列表和對象的時候。(Rube Goldberg 是一漫畫家,常畫一些很複雜的機器,但只完成簡單的工作,比如一個小球滾過很多關卡,最後把門打開。譯者注)。

列表和對象也他媽的是很重要的,Larry!(farging 應該是作者不想說 fucking 那麼直白,譯者注)

Perl 沒法表達列表因爲 Larry 一早犯了一個悲劇性的愚蠢的錯誤,把列表全抹平。於是(1, 2, (3, 4))魔術般地變成(1, 2, 3, 4)。不是說你會想讓它這樣工作,而是 Larry 剛好那天在搞一個這樣會更方便的問題。於是 Perl 的數據結構從此就變得爆炸了的鯨魚了。

今天你看 Perl 的書,小教程或 PPT 的時候,不花三分之一的時間在“引用”上是不可能的。這就是 Larry 可憐的,壞了的,Goldberg (漫畫家,想起來沒? 譯者注)式的對他那抹平列表的瘋狂錯誤的解決方案。但是 Perl 的市場宣傳做得那麼難以置信地好以致它讓你覺得這是你身上發生過的最好的東西。你可以對任何東西取它的引用。這很有趣!聞起來也很香(說腸子呢,譯者注,呵呵)!

Perl 不能支持面向對象編程因爲 Larry 壓根不相信這玩意兒。這可能沒什麼大不了; 我也不是很確定我是不是信這個 OOP。但是那麼爲啥他又要試着把對象加進 Perl 呢? Perl 的面向對象是個半成品,且在 Perl 社區裏沒多少人重視。它就是不像字符串處理或 Unix 集成那樣充滿靈感。

當然了,Perl 還有其他很多怪怪的特性。比如它的“上下文”,這是 Larry 要有N個變量名字空間的喜劇式決定的一個恐怖片式的產物。這些空間由 sigil 來區分(就是 Perl 裏變量名前面的‘$’,‘@’,‘%’字符),看着像是從 shell 腳本里拷貝來的。在 Perl 裏,所有的運算符,所有的函數,所有的操作其行爲都是六取一的隨機的,取決於當前的“上下文”。沒有一些規則或助記法能幫你搞定這些特定操作在特定上下文裏的特定行爲。你得把它們全記在腦子裏。

想要個例子? 這兒有一個:在一個值量(scalar,對應於 vector,向量)上下文裏對一個哈希取值你得到一個字符串,裏面是個分數,分子是目前已分配的鍵,分母是總共有多少個桶。鯨魚腸子,我告訴你。

但就像我說的—直到最近,沒啥能像 Perl 那樣把屎搞定。

Ruby

每過 15 年左右,一門語言就會被更好的代替。C被 C++ 代替,至少對大應用開發而又需要性能和數據類型的人們來說。C++ 被 Java 代替,而 Java 無疑在 7 年後又會被更好的東西代替—好吧,我說的是完全代替 C++ 的 7 年後,這到目前爲止還沒有發生,主要是因爲微軟能在 Java 霸佔桌面系統之前狙擊它。但是在服務器上的應用而言,C++ 的陣地已經慢慢讓給 Java 了。

Perl 有一天也會消逝。那是因爲一門新的語言 Ruby 剛剛終於被翻譯成英語了。沒錯,它是在日本發明的,這麼多地兒,沒想到日本人搞出來了,還以爲他們只是硬件和製造上佔有名氣,而不是他們的軟件業,所以大家都跟你一樣驚奇。爲什麼呢,大家可能都在想。但是我認爲這都是跟打字有關。我根本不能想象他們以前能打字打得足夠快,英文字母只有 26 個,他們卻有上萬個字。但是 Emacs 幾年前支持多字節字符了,所以我猜他們現在打字速度他媽的快多了。(所以能搞出 Ruby 來了,譯者猜作者是這個意思) (是的,他們也用 Emacs —— 事實上日本人負責了 Emacs 多字節支持的大部工作,而且搞得堅不可摧。)

不管怎麼樣,Ruby 從 Perl 那裏偷師了所有的好東西; 實際上,Matz, Ruby 的作者(Yukihiro Matsumoto,如果我沒記錯的話,但是他外號“Matz”),覺得他從 Perl 那裏偷的有點太多了,他的鞋上也粘了些鯨魚腸子。但是隻是一丟丟。

最重要的是,Ruby 拿來了 Perl 的串處理和 Unix 集成,一點沒改,就是說語法都是一樣的,於是乎啥也不說了,你就擁有了 Perl 最好的那部分。這是個不錯的開局,特別是如果你不把 Perl 剩下的東西也拿進來的話。

但是之後 Matz 還從 Lisp 那裏拿來的最好的列表處理,Smalltalk 和其他語言那裏拿來了最好的面向對象,CLU 那裏拿來了最好的迭代器,以及基本上是每個人每個事的最好的東西。

而他讓這些東西全部都跑起來,跑得那麼順,你都不會注意到這些東西在那兒。我比其他任何語言都快就學會了 Ruby,我總共會三十到四十門語言; 而我花了大概三天時間就能用 Ruby 比 Perl 還流暢地工作了,當了八年的 Perl 黑客後。這些東西是這麼的和諧你都能自己猜它們是怎麼工作的,而且大多數時候你都能猜對。漂亮。有趣。靠譜。

如果把語言比成自行車,那麼 AWK 就是一輛粉系的兒童自行車,前面有個白色小框,還插塊小旗,Perl 就是沙灘車(還記得那有多酷吧? 唉。),而 Ruby 則是一輛七千五美金的鈦合金山地自行車。從 Perl 飛躍到 Ruby 意義不下於從 C++ 到 Java 的飛躍。卻沒有任何缺陷,因爲 Ruby 幾乎是 Perl 功能的一個超集,而 Java 卻拿掉了一些人們想要的東西,且沒有真正的提供一個替代品。

下次我會寫更多關於 Ruby 的東西。我先需要靈感。去讀讀 Lucky Stiff 的(poignant) guide to Ruby 吧。那本書是一本有靈感的書。真的,讀一下。超讚。我不理解產生它的那種頭腦,但它很有趣,很犀利,且全是關於 Ruby 的。好像。你會看到的。

Python

啊,Python 怎麼說呢,一個不錯的語言,這麼多年來一直旁邊在等待它的機會? Python 社區很長時間以來是那些勇敢地吞下紅藥片從 Perl 駭客帝國中醒來的人的避難營。

啊,有點像 Smalltalk 的人們,他們永遠在等待替代C++,沒想到半路殺出 Java 一下把它們操翻了,漂亮地,永久地。哎喲。Ruby 正在對 Python 做着同樣的事,現在,今天。可能會在一夜之間吧。

Python 本來可以統治世界,可惜它有兩個致命缺陷:空格,和冷淡。

空格很簡單,就是說 Python 是用縮進來表達代碼塊之間的嵌套。它強制你必須按一定格式把所有的東西縮進,他們這樣做是爲了讓所有人寫的代碼看上去一樣。不料蠻多程序員討厭這點,因爲他們覺得自己的自由被拿走了; 感覺就像 Python 侵犯了憲法賦予他們的可以隨便縮進格式和全寫在一行上的權利。

Python 的作者,Guido Van Rossum,也在早期犯過一些很傻的技術錯誤 —— 沒有像 Larry 的失誤那麼嚴重,但是還是有幾個。比如,最早 Python 沒有字面變量範圍,但它同時也沒有動態變量範圍,而動態變量範圍可能會有它一些問題,但它還是有用的。Python 卻沒有這些,只有全局的和本地(函數)的兩種範圍。所以即使它是一個真正的 OO 系統,類甚至不能訪問它們自己的動態成員變量。你必須給成員函數傳“self”參數,一大堆 self 參數很快就會把你搞瘋掉,即使你不在意空格問題。

等等之類。

但在我看來,Python 不行其實是因爲冷淡。這阻止了它成爲首選腳本語言,或者首選一切語言。靠,人們現在還在用 Tcl 作嵌入解釋執行器,雖然 Python 比 Tcl 好得不要太多 —— 除了,我說,這個冷淡問題。

(此處開始我不知所云。呵呵,這樣吧,把原文貼在最後面。譯者注)

What’s the frost thing, you ask? Well, I used to have a lot of exceptionally mean stuff written here, but since Python’s actually quite pleasant to work with (if you can overlook its warts), I no longer think it’s such a great idea to bash on Pythonistas。The “frost thing” is just that they used to have a tendency to be a bit, well, frosty。Why?

Because they were so tired of hearing about the whitespace thing!

I think that’s why Python never reached Perl’s level of popularity, but maybe I’m just imagining things。

Coda

That was the ADJ article I really wanted to write。Or at least something like it。For some reason, though, my true feelings only seem to come out during insomniac attacks between 3am and 6am。Time for bed!2 hours ’til my next meeting。

注1,Eric 告訴我當時幾乎全是 Jamie Zawinski,當他們在 Lucid 工作的時候。

注2,我寫了這個之後很多人告訴我 Paul Graham 是用 VI 的,想不到。

注3,爲了有據可查,我個人根本不介意空格問題。我認爲因爲這個而不喜歡 Python 是很傻的。我只是說有一堆比例讓人驚奇的其他工程師討厭空格問題。

這纔是我真正想給亞馬遜開發者雜誌寫的文章。或者至少是這樣的。出於某些原因,我的真感情好像只有在我凌晨三點到六點失眠的時候都會流露。該睡覺了!我下個會議再過兩小時就開始了。

(發佈於 2004 年 9 月,小小的更新在2006年3月28日)


發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章