我和權威的故事

（王垠 yinwang.org 版權所有，未經許可，請勿轉載）

每個人小時候心里都是沒有權威的，就像每個人小時候也都不相信廣告一樣。可是權威就像廣告，它埋伏在你的潛意識里。聽一遍不信，聽兩遍不信，……，直到一千遍的時候，它忽然開始起作用了，而且這作用越來越強。

消滅廣告所造成的幻覺，最好的辦法就是去嘗試，去實地的考察它。有些虛幻的東西只要你第一次嘗試就會像肥皂泡一樣破滅掉。可是如果你不主動去接觸它，它就會一直在你腦海里造成一種美好神圣的假象。越是得不到的越是覺得美好。很神奇的一個現象就是，權威對人思想的作用其實也跟廣告一樣。

上大學以前的人因為沒有專業，所以還不怎么崇拜權威，大不了追追歌星，影星，球星啥的。而進了大學之后，就會開始對本領域的權威耳濡目染。一遍，兩遍，一千遍的聽到同學們仰慕某“牛人”或者“大師”的名字，雖然從來沒親身見過，不知不覺就對這人產生了崇拜心理，然后自愧不如。不知不覺的，自己也開始附和這些說法，不自覺地提到這些大師的名字，引用他們說的話作為自己的行動指南。

Donald Knuth, Dennis Ritchie, Ken Thompson, Rob Pike, ... 就是通過這些途徑成為了很多計算機學生的權威。以至于幾十年以后，他們的一些歷史遺留下來的糟糕設計和錯誤思想還被很多人奉為神圣。

Donald Knuth

很多人（包括我）都曾經對 Knuth 和他的 The Art of Computer Programming (TAOCP) 極度崇拜。在我大學和研究生的時候，有些同學花了不少錢買回精裝的 TAOCP 全三卷，說是大概不會看，但要供在書架上，鎮場子。當時我本著“書非借不能讀也”的原則，再加上搬家的時候書是最費力氣的東西，所以堅決不買書。我就從圖書館把 TAOCP 借了來。說實話我哪里看的下去啊？那里面的程序都是用一個叫 MIX 的處理器的匯編語言寫的。一個字節只有6位，每位里面可以放一個十進制數（不是二進制）！還沒開始寫程序呢，就開始講數學，然后就是幾十頁的公式推導，證明…… 接著我就睡著了。但我總是聽說有人真的看完過 TAOCP，然后就成為了大師。比爾蓋茨也宣稱：“要是誰看完了 TAOCP，請把簡歷投給我！” 在這一系列的號召和鼓吹之下，我好幾次的把 TAOCP 借回來，下定決心這次一定看完這曠世奇書。每次都是雄心勃勃的開始，可從來就沒看完過開頭那段 MIX 機器語言和數學公式。

看不懂 TAOCP 總是感覺很失敗，因為看不懂 TAOCP 就成不了“大師”，可我仍然認為 Knuth 就是計算機科學的神，總能從他那學點什么吧，所以又開始折騰他的其他作品。這就是為什么我開始用 TeX，并且成為中國 TeX 界的主要“傳教士”之一。為了 TeX，我把 Knuth 的 TeXbook 借回來，從頭到尾看了兩遍，做完所有的習題，包括最難最刁鉆的那種“double bend”習題。接著又開始看 MetaFont Book，開始使用 MetaPost 進行繪圖。開頭還挺有成就感，可是不多久就發現學會的那些 TeX 技巧到了臨場的時候就不知道該怎么用，然后就全都忘記了。這就是為什么我把 TeXbook 看了兩遍，可是看完第二遍之后不久還是忘記得一干二凈。

師兄師姐看到我用 TeX，說怎么折騰這么過時的玩意兒。我很氣憤他們以及國內學術界居然都用 Word 排版論文，就開始針鋒相對，寫出一系列煽動文章鼓吹 TeX 的種種好處，打擊“所見即所得”這種低智商玩意兒。這還不夠，又開始折騰 Knuth 設計的 MMIX 處理器，并且認為 MMIX 的寄存器環就是世界上最先進的設計。發現一些無關緊要的小錯，就給 Knuth 發 email，居然拿到兩張傳說中的“Knuth 支票”，并且一度引以為豪。當然像所有拿到 Knuth 支票的人一樣，你是不會去兌現它的，甚至有人把它們像獎狀一樣放在相框里。我還沒那么瘋狂，那兩張支票一直在它們原來的信封里。多年以后我到美國想兌現那支票的時候，發現它們已經過期了，后來就不知道丟到哪里去了。

當你心里有了這樣的權威，其他人的話你是不可能聽得進去的，就算他們其實比你心目中的權威更具智慧也一樣。在清華的時候我有時候去姚期智的小組聽客串講座。有一次請來了美國某大學一個教授講算法，不知道怎么的我就跟他聊起 TAOCP，大概是想請教他如何學習算法。他跟我說 Knuth 的書已經比較過時了，你可以看看 MIT 的那本《算法導論》。可是這位教授的名氣怎能和 Knuth 相比，這話我恁是沒有聽進去，仍然認為 TAOCP 隱藏了算法界最高的機要，永恒的珍寶。

在清華的時候我很喜歡一門叫做“計算幾何”的課，就經常跟那門課的老師交流思想。有一次我在 email 里面提到 Donald Knuth 是我的偶像，那位老師很委婉的回復道：“有偶像很好啊，Knuth 也曾經是我的偶像。” 我對“曾經”這兩個字感到驚訝：難道這意味著 Knuth 現在不是他的偶像了？在我執意的詢問之下他才告訴我，其實世界上還有很多更聰明的人，Knuth 并不是計算機科學的一切。你應該多看看其他人的作品，特別是一些數學家的。然后他給了我幾個他覺得不錯的人的名字。

現在回想起來，這些話對我是有深遠作用的。那位老師雖然在系里的“牛人”們眼里是個研究能力（也就是發 paper 能力）不強的人，但是他卻對我的人生轉折有著強有力的作用。他引導了我去追尋自己真正的興趣，而不是去追尋虛無的名氣。我發現很多人都在為著名氣而進行一些自己其實不感興趣的事情，去做一些別人覺得“牛氣”的事情。我真希望他們遇到跟我一樣的好老師。

在現在看來，Knuth 的 TAOCP 就是所謂的“神圣的白象”（white elephant）。大家都把它供起來，其實很少有人真的看過，卻要顯得好像看過一樣，并且看得津津有味。這就讓試圖看懂它的人更加自卑和著急，甚至覺得自己智商有問題。別人都看過了，我怎么就看不懂呢？其實 TAOCP 里面的大部分算法都不是 Knuth 自己設計的，而且他對別人算法的解釋經常把簡單的問題搞得很復雜。再加上他執意要用匯編語言，又讓程序的理解難度加倍。

有一句話說得好：“跟真正的大師學習，而不是跟他們的徒弟。”如果你真的要學一個算法，就應該直接去讀那算法的發明者的論文，而不是轉述過來的“二手知識”。二手的知識往往把發明者原來的動機和思路都給去掉了，只留下蒼白無味，沒有什么啟發意義的“最后結果”。確實是這樣的，多年以后當我看見 Knuth 計劃中的幾卷新的 TAOCP 的目錄時，發現其中大部分的東西我已經通過更容易的方式學到了，因為我找到了這些知識的源頭。

所以之前的那位訪問清華的教授說的其實是實話，Knuth 真的落伍了，可是就算在美國也少有人知道或者承認這個情況。有一次看一個對世界上公認最厲害的一些程序員的采訪，包括總所周知的一些大牛，以及 ML 的設計者 Robin Milner，Haskell 的設計者之一 Simon Peyton Jones 等人。也不知道采訪者是什么心理，在對每個人的采訪中他都問，你看過 TAOCP 嗎？大部分人都說看過，真是了不起的巨著，很重要啊云云。只有 Robin Milner （如果我沒記錯的話）比較搞笑，他說我希望我看過，但是可惜實在沒時間。我一直把 TAOCP 墊在我的顯示器下面，這樣我工作時就可以一直看著它們 :)

Knuth 說“premature optimization is the root of all evil”，然而他自己卻是非常喜歡用 premature optimization 的人。他的代碼里到處是莫名其妙的小聰明，小技巧。把代碼弄得難懂，實際上卻并沒有得到很多性能的提高。有一次看 MMIX 處理器的模擬程序，發現他用來計算一個寄存器里的“1”的個數的代碼非常奇怪。本來寫個循環，或者用那種從末位減 1 的做法就可以了，結果他的代碼用了 Programming Pearls 里面一個古怪的技巧，費了我半天時間才看懂，后來我發現這個技巧其實還不如最簡單的方法。就是這些細小卻又蹊蹺的做法，使得 Knuth 的代碼用細節掩蓋了全局，所以到最后我其實也沒從大體上搞懂一個處理器的模擬器應該如何工作。直到后來到 Indiana 學習了程序語言的理論之后我才發現，其實處理器模擬器（以至于處理器本身）的工作原理很簡單，因為它就是一個機器代碼的解釋器。使用跟高級語言解釋器同樣的結構，你可以比較容易的寫出像 MMIX 模擬器那樣的東西。

Knuth 最重要的一個貢獻恐怕是程序語言的 parsing （語法分析），比如 LR parsing，然而 parsing 其實是一個基本不存在的人造問題。它的存在是因為人們的誤解，以為程序語言需要有跟人類語言一樣的語法，所以把程序語言搞得無端的復雜和困難。如果你把語法簡化一下，其實根本用不著什么 LR，LALR。我最近給我自己設計的語言寫了一個 parser ，從頭到尾只花了兩個小時，500 行 Java 代碼，包括了從 lexer 一直到 AST 數據結構的一切。完全手寫的代碼，根本沒用任何復雜的 parsing 技術和 YACC 之類的工具，甚至正則表達式都沒有用。之所以可以這樣，因為我的語法設計讓 parsing 極其容易，比 Lisp 還要容易。Knuth 過度的強調了 parsing。他的誤導使得很多人花了幾十年時間來研究 parser，到現在還在不時地提出新的技術，用于設計更加復雜的語法。何必呢？這只會讓程序員和編譯器都更加痛苦。如果這些人把時間都花在真正的問題上，那今天的計算機科學不知道要美好多少。

幾乎每一本編譯器教材都花大量篇幅來講述 DFA, NFA, lexing, LL, LR, LALR…… 幾乎每個學校的編譯器課程都會花至少 30% 的時間來做 parser，折騰 LEX，YACC 等工具，而對于編譯器真正重要的東西卻沒有得到很多的訓練。這就是為什么 Kent Dybvig 的編譯器課程如此有效，因為 Scheme 的語法非常簡單，我們根本沒有花時間來做 parser。我們的時間用在了思考真正的問題：做優化，實現尾遞歸，高階函數…… 很多語言夢寐以求卻又做不好的東西。這樣的課程給了我可以發揮自己潛力的余地，我的課程編譯器里面具有大量的獨創寫法，我的 X64 機器代碼生成器生成極其短小的代碼，讓 Kent Dybvig 都在背地里琢磨是怎么回事。這些東西到現在也許仍然是世界上最先進的技術。

一個人的思維方式似乎決定了他設計的所有東西。Knuth 的另一個最重要的發明，文學編程（Literate Programming）其實也是多此一舉，制造麻煩。文學編程的錯誤在于認為程序語言應該像人類語言，應該適應所謂的“人類思維”。然而程序語言卻是在很多方面高于人類語言的，它不應該受到人類語言里的糟粕的影響。把程序按照 Knuth 的方式分開在不同的文章段落里，造成了代碼之間的關系很難搞清楚，而且極其容易出錯。這個錯誤與“Unix 哲學”的錯誤類似，把程序作為一行一行的文本，而不是一個像電路圖一樣的數據結構。我不想在這里細說這個問題，對此我專門寫了一篇文章，講述為什么文學編程不是一個好主意。

TeX 其實也是異常糟糕的設計。它過度的復雜，很少有人搞得懂怎么配置。經常為了一個簡單的效果折騰很久，然后不久就忘了當時怎么做的，回頭來又得重新折騰。原因就是因為 TeX 的設計缺乏一致性，特殊情況太多，而且組合（compose）能力很差。所以你需要學太多東西，而不是跟象棋一樣只需要學習幾個非常簡單的規則，然后把它們組合起來形成無窮的變化。

在程序語言設計者看來，TeX 的語言是世界上最惡劣的設計之一，但如果沒有這個語言，它也許會更加糟糕。其實 TeX 之所以有一個“擴展語言”，有一個鮮為人知的小故事。在最早的時候 Knuth 的 TeX 設計里并沒有一個語言。它之所以有一個語言是因為 Scheme 的發明者 Guy Steele。Knuth 設計 TeX 的那個時候 Steele 碰巧在斯坦福實習。他聽說 Knuth 要設計一個排版系統，就建議他設計一個語言，以應付以后的擴展問題。在 Steele 的強烈建議和游說之下，Knuth 采納了這個建議。可惜的是 Steele 并沒能直接參加語言的設計，在短短的一個夏天之后就離開了斯坦福。

Knuth 的作品里面有他的貢獻和價值，TeX 的排版算法（而不是語言）也許仍然是不錯的東西。可是如果因為這些好東西愛屋及烏，而把他所推崇的那些亂七八糟的設計當成神圣的話，那你自己的設計就逃脫不出同樣的思維模式，讓簡單的事情變得復雜。仍然對 TeX 頂禮膜拜的人應該看一下 TeXmacs，看看它的作者是如何默默無聞的，徹徹底底的超越了 TeX 和 Knuth。

在我看來，Knuth 是個典型的精英主義者，他覺得自己做的都是最好，最有“格調”的。他利用自己的權威和特立獨行來讓用戶屈服于自己繁復的設計，而不是想法設計出更加易用的工具。TeX 的版本號每次更新都趨近于圓周率π，意思是完美，沒有 bug。他獎勵大額的支票給發現 TeX 代碼里 bug 的人，用于顯示自己對這些代碼的自信，然而他卻“冰封”了 TeX 的代碼，不再填加任何新東西進去，也不再簡化它的設計。當然了，如果不改進代碼，自然就不會出現新的 bug，然而它的設計也就因此固步自封，停留在了幾十年以前。更奇怪的是，“TeX”這個詞居然不按照正常的英語發音邏輯讀成"teks"。每當有人把它“讀錯”，就有“高手”打心眼里認為你是菜鳥，然后糾正：“那個詞不讀 teks，而要讀‘特喝’，就像希臘語里的 chi，又像是蘇格蘭語的 loch，德語的 ach，西班牙語的 j 和俄語的 kh。”也許這就叫做附庸風雅吧，我是純種的歐洲人！;-) 當一個軟件連名字的發音都這么別扭，這么難掌握，那這個軟件用起來會怎樣？每當你提到 TeX 太不直觀，就有人跟你說：“TeX 是所想即所得，比你的所見即所得好多了！”可事實是這樣嗎？看看 TeXmacs 吧，理解一下什么是“所見即所得+所想即所得”二位一體。

我跟 Knuth 的最后一次“聯系”是在我就要離開清華的時候。我從 email 告訴他我覺得中國的研究環境太浮躁了，不是做學問的好地方，想求點建議。結果他回紙信說：“可我為什么看到中國學者做出那么多杰出的研究？計算機科學不是每個人都可以做的。如果你試了這么久還不行，那說明你注定不是干這行的料。”還好，我從來沒有相信他的這段話，我下定了決心要證明這是錯的。多年的努力還真沒有白費，今天我可以放心的說，Knuth 你錯了，因為我已經在你引以為豪的多個方面超過了你。

Unix

Unix 的創造者們是跟 Knuth 非常類似的權威，他們在我的心目中也曾經占據了重要的位置，以至于十年前我寫了一篇文章叫《完全用 Linux 工作》，大力鼓吹 Unix 的“哲學”，甚至指出 Linux 不能做的事情就是不需要做的，并且介紹了一堆難用的 Unix 工具，引得很多人去折騰。可如果你知道我現在對 Unix 的態度，肯定會大吃一驚，因為在經過努力之后，我成功的“忘記”了 Unix 的幾乎一切，以至于本科剛畢業的學生都會以為我是腦盲，并且以為可以在我面前炫耀自己知道的 Linux 技巧。他們不會明白，在我心里 Unix/Linux 的設計是計算機軟件界目前面臨的大部分問題的罪魁禍首，而他們顯示給我看的，只不過是 Unix 的思想和精英主義給程序員造成的精神枷鎖。其實我并不會忘記 Linux 的設計，但我已經下意識的以熟悉 Linux 的奇技淫巧為恥，所以很多時候我即使知道也要裝作不知道。因為我是機器的主宰，而不是它的奴隸，所以我總是想辦法讓機器去幫我做更多的事，幫我記住那些無聊的細節，而不是去順從它的設計者所謂的“哲學”。

評論 Unix 和它的后裔們總是一件尷尬的事情，因為你提到它們的任何一個缺點，都會被很多人認為是優點。GNU 的含義是“GNU is Not Unix”，但很可惜的是 GNU 和 Linux 的設計從來沒有擺脫過 Unix 思想的束縛。Unix 的內存管理，進程，線程，shell，進程間通信，文件系統，數據庫…… 幾乎都是很蹩腳的設計。所謂的“Unix 哲學”，也就是進程間通信主要依靠無結構字符串，造成了一大批過度復雜，毛病眾多的工具和語言的產生：AWK，sed，Perl，…… Unix 的內存管理是按“頁”而不是按“結構”分配，相當于把內存分配的任務完全推給應用程序。而且允許任意的指針操作，這就像給每個老百姓一把愛走火的槍。可是又想要“安全”，自相矛盾。沒辦法，不得不強制進程數據空間完全隔離，使得進程間無法直接傳遞數據結構。進程和線程上下文切換開銷過大，造成了使用大規模并發或者分布式計算的瓶頸，導致了 goroutine 和 node.js 等“變通方法”的產生。把數據無結構的存儲在文件里，無法有效的查找數據，造成了關系式數據庫等過度復雜的數據解決方案的產生。再加上后來 WEB 的設計，現在的網站基本上就是補丁加補丁，一堆堆的 hack。

“Unix 哲學”貌似也有好的部分，比如“每個程序只做一件事，多個程序互相合作。”然而，這個所謂的哲學其實就是程序語言（比如 Lisp）里面的模塊化設計。它當然是好東西，然而這些思想被 Unix 偷來之后，有其名而無其實。很少有 Unix 程序真正只做一件事的，而且由于字符串這種通信機制的不可靠，它們之間其實不能有效地合作。有時候你換了一個版本的 make 或者 sed 之類的工具，你的 build 就莫名其妙的出問題。這就是為什么有的公司請了專門的所謂“build engineer”，因為高級別的程序員不想為這些事情操心。Lisp 程序員早就明白這個道理，所以他們盡一切可能避免使用字符串。他們設計了 S 表達式，用于結構化的傳輸數據。實際上 S 表達式不是“設計”出來的，它是每個人都應該首先想到的，最簡單的可以表示樹結構的編碼方法。Lisp 的設計原則里面有一條就是：Do not encode。它的意思是，盡量不要把有用的數據編碼放進字符串。Unix 的世界折騰來折騰去，XML，CORBA，…… 最后才搞出個 JSON，然而其實 JSON 完全不如 S 表達式簡單和強大。Unix 就像一個腦瘤，它讓人們放著最好的解決方案幾十年不用，不斷地設計烏七八糟的東西用來取代烏七八糟的東西。這些垃圾對人有很大的洗腦作用。前段時間我說 S 表達式比 JSON 簡單，有人居然跟我說 JSON 好些，因為它結構的 field 是“無順序”的。這讓我相當無語，因為一個編碼方式有沒有順序完全取決于你如何解釋它。從這個意義來講，S 表達式可以是有順序，也可以是沒有順序的。

Unix 喜歡打著“自由”和“開源”的旗號，可是它的歷史卻充滿了政治，宗教，利益沖突和對“歷史教科書”的串改。幾乎所有操作系統課本的前言都會提到 Unix 的前身 Multics，而提到 Multics 的目的，都是為了襯托 Unix 的“簡單”和偉大，接下去基本上就是按部就班的講 Unix 的設計，仿佛 Unix 就是世界上唯一的操作系統一樣。?課本會告訴你，Multics 由于設計太復雜，試圖包羅萬象，最后敗在了 Unix 手下。可是如果你仔細了解一下 Multics 的歷史，就會發現最后一臺 Multics 機器直到 2000 年還在運行，擁有 Unix/Linux 到現在還沒有的先進而友好的特性，并且被它的用戶所愛戴。Multics 的設計并不是沒有問題（對比一下 Lisp Machine 和 Oberon），但是相比之下，Unix 的設計一點都不簡單。Unix 抄了 Multics 最好的一些思想，有些沒有抄得像，然后又引入了很多自以為聰明的糟粕。可是 Unix 靠著自己病毒一樣的特征，迅速占領了市場。Unix 最開頭是開源和免費的，但是后來 AT&T 發現這里面有利可圖，所以就收回了使用權，并且開始跟很多人打官司。AT&T 的邪惡比起微軟來，真是有過之而無不及。

Unix 的很多設計是如此齷齪，很多人卻又由于官僚的原因不得不用它。以至于 Unix 出現的早期怨聲載道，有人甚至組織了一個 mailing list 叫“Unix 痛恨者”(Unix Haters)。你很有可能把這些人當成菜鳥，可是這些人其實都用過更好的操作系統，有的甚至設計實現過更好的操作系統甚至程序語言。最后他們的叫罵聲被整理為一本書，叫做 Unix Hater's Handbook。讓人驚訝的是，這本書有一個“反序言” (anti-foreward)，作者正是 Unix 和 C 語言的設計者之一，Dennis Ritchie。這個反序言說，Unix 這座設計缺乏一致性的監獄會繼續囚禁你們，聰明的囚犯會從它里面找到破綻，可惜的是自由軟件基金會（FSF）會建造跟它完全兼容的監獄，只不過功能多一些。擁有三個 MIT 學位的記者，微軟的研究員，Apple 的高級科學家可能還會對這座監獄的“規矩”貢獻一些文字。從這些文字里，我看到了一個炫耀武力的暴君，看到了赤裸裸的權威主義和教條主義。

可惜的是在軟件的世界里任何糟糕的設計都可以流行，只要你的廣告做得好，只要你的傳教士夠多。一知半解的人（比如十年前的我）最喜歡到處尋找“新奇”的東西，然后開始吹噓它們的種種好處，進而成為它們的布道者。再加上大學計算機系的“緊跟市場”的傳統，不幸的事情發生了：Unix 和它的后裔們幾乎壟斷了服務器操作系統的市場。由于 Unix 的壟斷，現在的軟件世界基本上建立在一堆堆的變通之上，并且固化之后成為了“珍珠”。公司里，學校里，充滿了因為知道一些 Unix 的“巧妙用法”而引以為豪的人，殊不知他們知道的只是回避一些蹩腳設計的小計倆。程序員有太多的特例和細節需要記憶，不但不抱怨，還引以為豪。很少有人想過如何從根本上解決問題，歷史的教訓很少有人吸取，以至于幾十年前犯過的設計錯誤還在重現。Unix 的最大貢獻，恐怕就是制造了大量的工作崗位—因為問題太多太麻煩，所以需要大量的人力來維護它的運行。

現在看來，Unix 當初就是依靠《皇帝的新裝》里織布工的辦法封住了大家的嘴。皇帝的織布工們說：“愚蠢或者不稱職的人都看不見這件衣服。”Dennis Ritchie 說：“Unix 是簡單的，但只有天才才能理解這種簡單。”看出來了嗎？你不敢說 Unix 的設計太亂太復雜，因為這話一出口，立馬會有人引用 Dennis 的話說，是你自己不夠天才，所以不理解。當然了，這就意味著他比你聰明，因為只有天才才能理解這種簡單嘛。哎，這種喜歡顯示自己會用某種難用工具的人實在太多了。你不敢批評這些工具對用戶不友好，因為你立即會被鄙視為菜鳥。

Dennis Ritchie 去世了。死者長已矣，可是有些他的崇拜者在那個時候還要煽風點火，拿他的死與 Steve Jobs 的死來做對比，把像這樣的照片四處轉帖，好像 Steve 死錯了時間，搶了 Dennis 的風頭似的。然后就有人寫一些這樣的文章，把世界上的所有系統，所有語言都歸功到 Dennis 和 Unix 身上。看到這些我明白了，所謂的“天才”就是這樣被造出來的。在我看來這些是很滑稽的謬論，就像是在說有人拿一把很鈍的剪刀做出了一件精美的衣服，所以這剪刀立下了汗馬功勞。其實這人一邊裁布一邊在罵這剪刀，心想媽的這么難用，快點做出這衣服，賣了錢買把好點的！

用了這么久 Apple 的產品，平心而論，雖然它們并不完美，然而它們并不是 Unix 的翻版，它們做出了擺脫 Unix 思想束縛的努力。它們本著機器為人服務的原則，而不是把人作為機器的奴隸。Mac 的很多內部設計跟 Unix 有著本質的不同。然而就是這樣的系統，被 Dennis Ritchie 在他的反序言里面蔑稱為“以 Sonic the Hedgehog 作為智力主題和交互設計基礎的系統”。

有誰知道，在那同樣一段時間里，Lisp 的發明者 John McCarthy，ML 的發明者 Robin Milner，都相繼去世了呢？那個時候我只是在 mailing list 看到有人發來簡短的消息，然后默默地思念他們給我帶來的啟迪。我們沒有覺得 Steve Jobs 的死搶了他們的風頭，因為他們不需要風頭。死就是要安安靜靜的，讓知己者默哀已經足矣。出現這種事情恐怕不能怪 Dennis Ritchie 自己，然而這些 Unix 的崇拜者們，真的應該反省一下自己的做法了。

Unix 的設計者們曾經在我的心里占據了一席之地，可是現在覺得他們其實代表了反動的力量，他們利用自己的影響力讓這些糟糕的設計繼續流傳，利用人們的虛榮心，封住大部分人的嘴，形成教條主義，讓你認為 Unix 的設計是必須學習的東西。很多人成為了 Unix 的傳教士和跟屁蟲，沒有什么真實水平，就會跟著瞎起哄，把 Unix 設計者的話當成教條寫進書里。可是他們的權威和名氣是如此之大，讓我在很多人面前只能無語。

Go 語言

現在，同樣這幫 Unix “大牛”們設計了 Go 語言，并且依仗自己的權威和 Google 的名氣大力推廣。同樣的這幫跟屁蟲開始使用它，吹捧它，那氣勢就像以為 Go 可以一統天下的樣子。真正的程序語言專家們都知道，Go 的設計者其實連語言設計的門都沒摸到。這不是專家們高傲，他們絕不會鄙視和嘲笑一個孩子經過自己的努力做出一個丑陋的小板凳。他們鄙視，他們嘲笑，因為做出這丑陋小板凳的不是一個天真的小孩，而是一些目空一切的人，依仗著一個目空一切的公司。他們高舉著廣告牌，試圖讓全人類都坐這樣丑陋的板凳。

跟當年設計 Unix 時一個德行，不虛心向其它語言和系統學習經驗教訓，就知道瞎猜瞎撞。自己想個什么就是什么，但其實根本就不知道自己在干什么。把很多語言都有的無關緊要的功能（比如自動格式化代碼）都吹噓成是重大的發明，真正重要的東西卻被忽略。Go 語言的設計在很多方面都是歷史的倒退，甚至犯下幾乎所有其他語言都沒有的低級錯誤。在語法上大做花樣，卻又搞得異常丑陋，連 C 和 Java 都不如。自己不理解或者實現難度大點的東西就說是不需要的，所以連很多語言支持的 parametric type（類似 Java generics）都沒有，以至于沒法讓程序員自定義通用數據結構，只好搞出一堆特例（比如 map，make，range）來讓程序員去記。這些做法都跟 Unix 如出一轍。

Go 語言最鮮明的特征就是 goroutine，然而這個東西其實每個程序語言專家都知道是什么。有些語言比如 Scheme 和 ML 提供了 first-class continuation（call/cc），可以讓你很容易實現像 goroutine 這樣的東西，甚至實現硬件中斷的“超輕量線程”。至于 Go 那種“基于接口”的類型系統設計，我在很多年前就已經試驗過，并且寄予了很大的希望。結果最后經過很多的研究和思索后發現有問題，于是放棄了這個想法。很顯然，我不是第一個在這個問題上失敗的人，很多語言專家在使用 parametric type 以前都試圖過做這種基于接口的設計，結果最后發現不是什么好東西，放棄了。然而 Go 的設計者卻沒有學到這些失敗教訓，反而把它當成寶貝。一個很顯然的問題是，在 Go 里面你經常會需要使用“空接口”（interface{}），用來表示所有類型。這就像使用 C 的 void 指針一樣，有著靜態類型系統的麻煩，卻失去了靜態類型系統的好處。

每當你提到 Go 沒有 parametric type，Go 的擁護者們就說“我看不到這有什么用處”，就像一些非洲土著跟你說“我看不到鞋子有什么用處”一樣。他們利用人們對 Java 的繁復和設計模式的仇恨，讓你拋棄了它里面的少數好東西。其實 Java generics 不是 Java 首先有的。它的主要設計者其實包括 Haskell 的設計者之一 Philip Wadler。這種 parametric type 很早就出現在 ML，Haskell 等語言里面，是非常有用的東西。

每當受到批評，Go 的擁護者們就托詞說，Go 是“系統語言”（systems language）。這里潛在的前提就是，認為 Unix 就是唯一的“系統”，而 C 就是在 Go 以前唯一的“系統語言”，好像其他語言就寫不出所謂的“系統”似的。而事實是，在 C 誕生十年以前，人們就已經在用 Algol 60 這樣的高級語言來寫操作系統了。由于先天不足卻又大力推廣，所以 Go 的很多缺陷基本已經沒法修補了。這樣的語言一旦流行起來就會像 Unix 一樣，成為一個無休止的補丁堆。如果像 Java 或者 Haskell 這樣的語言還值得批評的話，對 Go 語言的設計者我只能說，去補補課吧。

Cornell

可是權威和名氣的威力還是很大的。雖然 Knuth 在我心目中的位置不再處于“壟斷地位”，世界上可以占據我心里那個位置的人和事物還很多。在離開清華之后我申請了美國的大學。也許是天意也許是巧合，只有兩所大學給了我 offer：Cornell 和 Indiana，而我竟然先后到了這兩所大學就讀。

說實話，Indiana 給了我比 Cornell 更好的 offer。Cornell 給我的是一個 TA 的半工讀職位，而 Indiana 給我的是一個不需要工作白拿錢的 fellowship。說實話我從來沒有搞明白 Cornell 這樣的“牛校”怎么會給我這樣的人 offer，GPA 一般，paper 很菜，而 Indiana 卻是真正在乎我的。Indiana 的 fellowship 來自 GEB 的作者 Doug Hofstadter。他從 email 了解到我的處境和我渴求真知的愿望之后，毅然決定給我，一個素不相識的人寫推薦信。后來我才發現那 fellowship 的資金也是他提供的。

可是 Indiana 和 Hofstadter 的名氣哪里能跟 Cornell 的號稱 “CS前五” 相比啊？Indiana 的 offer 晚來了幾天。當收到 Indiana 的 offer 時，我已經接受了 Cornell。Hofstadter 很驚訝也很失望，因為他以為我一定會做他的學生，可是聽說我接受了 Cornell 的 offer，他也不知道該怎么辦。我只隱約的記得他告訴我，學校的排名并不是最重要的東西……

名氣和權威的力量是如此之大，它讓我不去選擇真正欣賞我并且能給我真知的人。有時候回想起來，我當時真的是在尋找真知嗎？我明白什么叫做真知嗎？

Cornell 給了我什么呢？到現在想起來，它給我的東西恐怕只有教訓，很多的教訓。TA 的工作可不是那么好做的，基本就是苦力，你甚至會懷疑他們錄取你就是為了利用你的廉價勞動力。我第一次做 TA 就是一個 200 多人在階梯教室上的大課，教最基本的 Java 編程。雖然有好幾個 TA，但任務還是很繁重。講課的人不是教授，而是專職的講師。這種講師一般得靠本科生的好評來謀生，所以雖然在學術上沒什么真本事，對學生真可謂是點頭哈腰，服務周到。這就苦了各位 TA 了，作業要你設計，還要設計得巧妙，要準備好標準答案，之后還要批作業，批得你頭腦麻木，考試要監考，之后還要批試卷。每周還得抽好幾個小時來做 office hour，給學生答疑。然后你還有自己要上的課，自己的作業，自己的考試。每當考試的時候都很緊張，因為你得準備自己的考試，還要為學生的考試多做很多工作。

如果真的學到了東西，這么辛苦也許還值得，可是那些教授真的是想教會你嗎？有人打了個比方，說 Cornell 說要教你游泳，就把你推到水池里，任你自己撲騰。當你就要撲騰上岸時，他在你頭上用榔頭一砸，然后繼續等你上岸。當你再次快要撲騰上岸時，他又舉起一塊大石頭扔到你頭上，這樣你就可以死了，可是 Cornell 仍然等著你游上岸…… 這就是對我在 Cornell 的經歷的非常確切的比喻。

我在一篇老的博文里面提到過，Cornell 的學生，包括博士生，一上課就抄筆記，一天到晚都在趕作業。可其實 Cornell 不只是愛抄筆記的學生的天堂，而且是崇拜權威者的天堂。即使你不是那么的崇拜權威，你不可避免的會被一群像朝圣者一樣的人圍在中間，在你耳邊談論某某人多么多么的牛。不管你向同學打聽哪一個教授，得到的回答總是：“哇，他很牛的！” 然后你就去上了他的幾節課，覺得不咋的嘛，可是人家就說那是因為你不理解他的價值。這種氣氛我好像在另一個地方感覺到過呢？啊對了，那是在 Google。這樣的氣氛也許并不是偶然，Cornell 的大部分 PhD 同學當時的最大愿望，就是畢業后能去 Google 工作。當然，后來 Facebook 上升成為了他們的首選。值得一提的是，Indiana 其實是更有個性的地方。我在 Indiana 的同學們一般都把去 Google 工作作為最后的選擇之一。有一次一個剛來不久的學生問，如何才能進入 Google 工作？有個老教授說，那個容易，Google 招收任何能做出他們題目的人！

Cornell 的研究可以用“與時俱進”來形容，什么熱門搞什么。當時 Facebook 和社交網絡正在“崛起”，所以系里最熱門的一個教授就是研究社交網絡的。我去聽過他幾堂課，他用最容易的圖論算法分析一些社交網絡數據，然后得出一些“理論”。其中好些結論實在太顯然了，我覺得街上的賣菜大媽都能猜到，還不如研究星際爭霸來得有意思點。可是 Facebook 名氣之大，跟著這位教授必然有出路啦，再加上有人在耳邊煽風點火，所以有好多的學生為做他的 PhD 擠破了頭皮，被刷下來的就只好另投門路了。每次新來一個教授都會被吹捧上天，說是多么多么的聰明，甚至稱為天才。然后就有一群的人去上他的課，試圖做他的學生。結果人家每節課都是背對學生面朝黑板，喃喃自語，寫下一堆堆的公式和證明，一堂課總共就沒回過幾次頭。下面的人當然是狂抄筆記，有的人甚至帶著錄音筆，生怕漏掉一句話。上這樣的課還不如干脆把板書打印出來讓大家自己回家看。人多了競爭也就難免了。上課的同學們就開始勾心斗角，三國演義的戰術都拿出來了。作業做不出來就來找你討論，等你想討論了就說自己也沒做出來。沒聽懂偏要故作點頭狀，顯得聽懂了，讓你覺得有壓力。自己越是喜歡的教授就越是說他不咋的，扯淡，然后就自己去跟他。自己不喜歡的教授就告訴你他真是厲害啊，只可惜人家不要我。直到兩年后我離開 Cornell 之前，還有好些同學因為沒找到教授而焦頭爛額。因為兩年內沒有找到導師的 PhD 學生，基本上等于必須退學。

當我離開 Cornell 之后，有一位國內的學生給我發 email 套磁（從系里主頁上找到我的地址），問我 Cornell 情況如何。我告訴他我都已經走人了，并且告訴了他我的感覺，一天到晚抄筆記趕作業之類的。然后又問我一個剛畢業的 PhD 的情況，我說他水平不咋的，博士論文我看過了，很扯淡，解決一個根本不存在的問題。他對我說的話有點驚訝，但還是將信將疑。為了確保萬無一失，他在 visiting day 的時候專程去 Cornell 考察了一下。回去又給我 email，說見到好多牛人啊，大開眼界，哪里像你說的那么不堪。還說跟那位 PhD 的導師談過話，真是世界級的牛人那，他的博士論文也是世界一流的。我就無話可說了，仁者見仁，智者見智，隨他去吧，哎。

結果兩年之后，我又收到這位同學的 email，說他在 Cornell 還沒找到導師，走投無路了，問我有沒有辦法轉學。

圖靈獎

說到這里應該有人會問這個問題，我是不是也屬于那種沒找到導師走投無路的人。答案是，對的，我確實沒有在 Cornell 找到可以做我導師的人。然后我就猜到有人會說，就知道王垠水平不行嘛，沒搞定導師，被迫退學，哈哈！可是事情其實沒他們想象的那么簡單。作為一個 PhD 學生，不僅必須精通學術，而且要懂得政治和行情。哦錯了，其實不精通學術也行的，但是一定要懂得政治和行情！可是由于學生之間的窩里斗，他們之間的信息互通程度，是沒法和教授之間的信息互通程度相比的。這就造成了“學生階級”在這場信息戰上的劣勢，總是被動的被教授挑選，而不能有效地挑選適合自己的教授。

進入 Cornell 之后我上了一門程序語言的課，就開始對這些東西入迷。可是由于“與時俱進”，Cornell 的研究方向并不是那么平衡的發展的，其實是很畸形的發展。程序語言領域的專家們早已因為受到忽視而轉移陣地，剩下一群用紙和筆做扯淡理論的。說實話，在歷史上程序語言方向曾經是 Cornell 的強項，出現了一些很厲害的成果。可是當我在 Cornell 的時候，只剩下兩個名不見經傳的教員，一個助理教授，一個副教授。其實 Robert Constable 也在那里，可惜的是他做了 dean 之后已經沒空理學生了，以至于我兩年之后都不知道這個人的存在。我當時也不知道 Cornell 有過這段歷史，看不到它的研究重心的移動趨勢。

我不喜歡那個副教授搞的項目，大部分是在 Java 上面加上一些函數式語言早就有的功能。可是人家做的是熱門語言，所以拉得到資金，備受系里親睞，他的學生們也比較趾高氣昂。初次見面的時候，我跟他的一個學生說了我的一個想法，他說：“你那也能叫研究嗎？待會兒我給你看看什么是真正的研究！” 其實那只是我的一個微不足道的想法，我也沒說那是研究啊。只是隨便聊一下而已就這么激動 -_- 何況你們那些 Java 的東西能算是研究？我是不可能跟那樣的人合作的，所以我就跟那個助理教授做了一點靜態分析的項目。當然我們分析的也不是什么好東西，是用 Fortran 寫的 MPI 程序。不過說實話，那個助理教授其實挺有點真知灼見，他有幾句話現在仍然在指引我，防止我誤入歧途。其中一句話是針對我對 π-calculus 的盲目崇拜 說的：“那些理論其實不管用的。最好是針對自己的問題，自己動腦筋想。” 他也是很謙虛很善良的人，可是好人不一定有好報的。后來他沒有拿到 tenure 職位，不得不離開 Cornell 加入了工業界，而我就失去了最后一個有可能在程序語言方向做我的導師的人。

沒辦法，我就開始探索其它相關領域的教授，比如做數據庫的，做系統的，看他們對相關的語言設計是否感興趣。可惜他們都不感興趣，而且告訴我程序語言領域太狹窄了。我當時還將信將疑，甚至附和他們的說法，可是現在我斷定他們都是一知半解胡說八道。如果這些人虛心向程序語言專家請教，現在數據庫和操作系統的設計也不會那么垃圾，關系式，SQL，NoSQL，…… 一個比一個扯淡。沒有辦法，我就開始探索其他的方向，開始了解圖形學和數值分析等東西，進展很不錯。可是終究我還是發現，我不喜歡圖形學和數值分析所用的語言。我想制造出更好的程序語言來解決這些問題。可是跟教授們談這些想法的時候就感覺是在對牛彈琴，他們完全不能理解。后來我發現，教授們貌似不喜歡有自己想法的學生，他們更希望找到愿意“打下手”的學生，幫助實現他們自己的想法。

這就讓我走到了跟那位向我打聽 Cornell 情況的同學差不多的局面，真是心里有許多的苦卻沒有人可以理解。這時候我想到了系里的一些德高望重的教授，比如得過圖靈獎的人，也許這些頂級的大牛會給我指出方向。于是我就聯系到一位圖靈獎得主，說想找他聊聊。我說我感興趣的東西 Cornell 貌似并不重視和發展。Cornell 的校訓是“any person, any study”，而我想 study 的東西卻得不到支持。最后我談了一下我對 Cornell 的總體感受。我說我覺得大家上課死記硬背，不是很 intellectual，我不是很確定學術界是否還保留有它原來的對智慧和真知的向往。

我很誠懇的告訴了他這些，只是希望得到一些建議。結果他不但沒有理解任何一點，而且立馬開始用質問的語氣問我，你成績怎么樣？考試都通過了沒有？哎，說白了就是想搞清楚你是不是成績不好沒人要。怎么就跟高中教導主任一樣。于是乎那次談話就這樣不了了之。可是沒有想到，這次談話就造成了我最后的離別。在學生們互相之間勾心斗角，不通信息的同時，系里的教授們其實背后都是“通氣”的。他們根本不懂得如何教學，就知道拿作業和考試往學生頭上砸，幸存下來的就各自挑去做徒弟，挨不住的就打發掉。這算盤打得真是妙啊。我也不知道他們是什么機制，每個學生對哪些教授感興趣，表現如何，他們貌似都了如指掌，貌似背后有個什么情報網。然后系里的教授們不知道怎么的，仿佛就都知道有這樣一個不知趣的學生，居然敢說學術界的壞話！

大地震前夕的天空總是異常的美。我竟然在過道里看到那位圖靈獎教授對我點頭致意并且微笑，以前做 TA 時把我呼來喚去還橫豎不滿意的教授也對我笑臉相迎。我仿佛覺得那一席話打動了那位德高望重的教授，再加上在圖形學和數值計算的扎實進展，也許我的學術生涯有了轉機。可是，我那一次真正的領悟了什么叫做所謂的“笑里藏刀”。

由于那個學期上的圖形學還有矩陣計算的課成績都不錯，我心想應該能找這兩門課的授課教授的其中一個做導師吧。再加上那些貌似友好的笑容…… 所以沒想很多，居然過了一個非常快樂的寒假。沒有任何前兆，沒有任何直接的通知（email，電話），一封紙信不知道是什么時候默默地進到了我在系里的“信箱”—一個我基本上從來不看的，系里用來塞廣告信息的信夾子里，直到下一個學期開始的時候（2月份）我才發現。信是系主任寫的，大概就是說，由于你的表現，我們覺得 Cornell 不是適合你的地方……

說得對，我也覺得 Cornell 不適合我。我本來就有想走的意思，可我一般呆在一個地方就懶得動。如果你們早一點告訴我這個，比如12月以前，我還可以申請轉學到其它學校。可是都 2 月份了才收到這樣的東西，Cornell 啊 Cornell，你讓我現在怎么辦？我想我可以說你不仁不義吧？

在這個萬分窘迫的時候，我想起了曾經關心過我卻又很失望的 Hofstadter。我告訴他我在 Cornell 很不開心，我很想研究程序語言，可是 Cornell 不理解也不在乎這個領域。他回信說，沒有關系，你能找到自己喜歡的東西就應該去追尋它。Indiana 的 Dan Friedman 正好是做程序語言的，你可以聯系他，就說是我介紹你去的。

于是給 Friedman 發了 email，很快得到了回信說：“Yin，兩年前我們都看過你的材料，我們覺得你是非常出眾的學生，可惜你最后沒有選擇我們。你要明白，人生最重要的事情不是名利，而是找到你愿意合作的人。你的材料都還在我們這里。現在招生已經快結束了，但是我會把你的材料提交給招生委員會，讓他們破例再次考慮你的申請。” 我和 Dan Friedman 的故事就從這里開始了。

我在 Cornell 的遭遇貌似不可告人的恥辱和秘密，然而我今天卻可以把它公之于世，因為 Cornell 不再有任何資格來評價我。依靠自己的努力和 Indiana 的老師們的培養，我的水平已經超越了 Cornell 計算機系的大部分教授。現在我覺得自己就像那個到 Cornell 學“游泳精髓”人，本來就是會游泳的，可是每到岸邊 Cornell 就搬起大石頭來砸我，還說我不會游。于是我鉆到水底下鉆了一個洞，把水放干。

由于曾經與多位圖靈獎得主發生不大愉快的遭遇，再加上在自己的研究中多次受到其它圖靈獎得主的理論的誤導，而且許多位圖靈獎得主最主要的貢獻仍然在給軟件行業帶來混亂，圖靈獎這個被許多計算機學生膜拜的神物，其實在我心里已經沒有任何效力了。很多人可能對此難以想象，可是對圖靈獎是這種態度的不只我一個人。我認識的幾乎所有程序語言專家幾乎都不拿圖靈獎當回事，而且其中很多人甚至不拿圖靈本人當回事，覺得他設計了一些非常丑陋的東西。雖然我現在覺得圖靈的研究成果確實有一定價值，但由于上面的原因，拿圖靈獎來開玩笑還是成為了我的家常便飯。我甚至覺得 ACM 應該停發這個獎，因為它是一種非常虛幻和政治的東西。每當人們談起這些“大獎”煞有介事的時候，就讓我看到了他們的愚昧。

常青藤聯盟和“世界一流大學”

我在 Cornell 的經歷應該不是偶然，不是因為我比較特殊。跟我同時進入 Cornell 的博士生有好幾個沒有拿學位就離開了。其中有一個是非常聰明的少年班，18歲就讀 PhD 了，我根本聽不懂的理論課他還能拿A。可是四年后他退學去了 Facebook，說真是太難畢業了，神馬都是扯淡。有些本科生也告訴我類似的經歷，說被一個叫做“笑面虎”的教授“整了”。Cornell 的自殺率居美國大學前列。離開以后的有一天，忽然看到新聞報道說一周之內有三個 Cornell 學生從瀑布旁邊的那座橋跳下去，結果派了警察在橋上日夜巡邏。我覺得自己在 Cornell 所感受到的壓力確實超乎想象，是有可能把人逼上絕路的。現在回想起來真是可笑，因為下意識里在乎權威和名氣，我給予了一群根本沒有資格來教育我的人莫大的權力，讓他們可以向我施加無端的壓力。

應該指出，這種現象應該不是 Cornell 所特有的。我對清華，還有 Princeton，Harvard，MIT，Stanford，Berkeley，CMU 等學校的學生都有了解。這些所謂的“世界一流大學”或者“世界一流大學 wannabee”差不多都是類似的氣氛。你沖著它們的名氣和“關系網”擠破了頭皮進去，然后就每天有人在你耳邊對其它人感嘆：哇，他好牛啊！發了好多 paper，還得了XX獎。跟參加傳銷大會似的，讓你懷疑這些人還有沒有自尊。然后就是填鴨式的教育，無止境的作業和考試，讓你感覺他們不是在“教育”你，而是在“篩選”你。這種篩選總是篩掉最差的，但也篩掉最好的。因為最好的學生能意識到你在干什么，他們不給你篩選他們的機會。一旦發現其實沒學到東西，中途就輟學出去創業了。所以剩下來的就是最一般的，循規蹈矩聽話的。在這樣的環境里，你感覺不到真正的智慧和真知的存在。GRE 考試所鼓吹的什么“批判性思維”（critical thinking ）在美國大學里其實是相當缺乏的。學生們只不過是在被培訓成為某些其他人的工具，他們具有固定的思維定勢，像是一個模子倒出來的。他們不是真正的創造者和開拓者。

人們在這些大學里的時候都是差不多感受的，可是一旦他們出來了，就會對此絕口不提。自己身上掛著這些學校的鍍金牌子，怎么能砸了自己的品牌，長別人的威風？所以每當我批判 Cornell 就有些以前的同學一臉的著急相，好像自己沒有吃過那苦頭一樣。

程序語言專家

雖然我在 Indiana 得到了思想的自由，但這種自由其實是以孤獨為代價的。我并不是一個自高自大不合群的人，但是我不喜歡跟一群像追星族一樣的人在一起。應該說在 Indiana 的日子里，權威主義的影子也是經常出現的。Indiana 學生們的權威比較特殊一點，不然就是 Dan Friedman，不然就是 Kent Dybvig。Friedman 的身邊總是圍繞著一群自認為是天才的本科生，喜歡拍他的馬屁，喜歡在人面前炫耀。博士生們開始時貌似還比較酷，可是后來發現其實也有很多類似現象，急于表現自己，越是研究能力弱的人越是愛表現。所以你就發現有人開頭為了混進這個圈子拍你的馬屁，過了兩年就開始自高自大，而且經常想這樣來壓倒你：“Kent 說過……”我很尊敬 Dan 和 Kent，但我其實在很多方面已經超越了他們。我看到他們的一些思維方式并不是那么的正確，我也從來不引用他們的話作為理論依據。對權威的崇拜其實顯示了一個人心理的弱小。如果你對自己有信心，有自己的想法和判斷力，又何必抬出個名人來壓制別人呢？

在我自己心里毫無疑問的是，我是 Indiana 最厲害的程序語言（PL）學生。由于我不斷地動手嘗試新的想法，所以幾乎沒有任何其他人的研究逃脫過我的探索。我從來不記錄自己的半成品和失敗（因為太多了），而且我對自己的標準異常的高，所以我經常看到有人做演講或者寫論文，里面其實是我很久以前嘗試過又拋棄了的想法。有時候我去聽別人的演講，就會立即看出破綻，問一些演講者答不出來的問題。其實很多時候我只是懷疑自己，我試圖給那些想法再一次的機會來證明它們的價值，而且問得相當委婉，但那樣的問題仍然是不受歡迎的，所以同學們甚至一些助理教授看到我在場都是心驚膽戰的。吃飯的時候我也不喜歡旁邊的人討論問題，因為他們經常顯示出對理論提出者的膜拜心理，而且煞有介事，可惜那些經常是我早就知道不管用的理論。他們有時候其實也知道那些是扯淡的，但卻又怕我捅破這窗戶紙，所以就像鴕鳥一樣把頭埋在沙子下面。

我也想合群一點，但是屢試不爽，所以后來我就基本是孤立的做自己的研究了。最開頭是不得已，但后來就越來越喜歡獨自一人。這是不可避免的，因為創造力和孤獨幾乎是雙胞胎。因為免去了跟人討論的時間，我有了大把的時間來做自己的探索。然后我才發現當年期望的那種 common room 其實沒什么用，因為那里根本不會有人理解你在說什么。現在即使有這樣的地方我也不會去了。

我從一開始進入 Indiana 就沒想過要拿博士學位，我只是在玩弄這個系統以達到我求知的目的。所以除非危及到我的存在，我把學校對學位的各種要求都拋到了九霄云外。給教授做 RA 幾乎總是被要求研究各種毫無前途的東西，與我自己的思考相沖突，所以我后來干脆都做 TA 了。雖然累點，但不怎么費腦力。其結果是，在短短的一兩年時間之內，我利用自己摳出來的時間，獨自摸索出了這個領域大部分的理論。我經常不看書不看論文，在一個星期之內解決別人十多年才完成的研究。讓人驚訝的應該不是我有多么聰明，而是這些研究者們十年來到底在干什么。我從來不認為自己比別人聰明，我只是覺得很多人的腦子被禁錮了而已。我有非常簡單的頭腦，我看不懂復雜的公式，聽不懂高深的術語。可正是因為這一點，讓我脫離了已有理論的困擾。

可以說，這個領域在過去一個多世紀的研究，很少有逃脫過我的洞察力和直覺的。這些研究最早可以追溯到 1870 年代。我一般很少看論文，因為自己想清楚一個問題其實花不了那么多時間的。看別人的論文一般都枯燥乏味，所以與其花那么多時間讀論文還不如自己思考。當我看論文的時候，一般是想搞清楚自己琢磨出來的問題有沒有人已經研究過了，所以很多論文只需要掃一下就夠了。我看到一個東西一般很快就會知道它到底會不會管用。我經常發現一些被認為很艱深的理論其實是在解決根本不存在的問題，甚至是在制造問題，而真正的問題卻沒有得到有效的解決。很多問題其實是權威的陰影造成的，它讓人們不敢否認這些大牛思想的價值，不敢揭穿它們，拋棄它們，甚至想讓自己寄生在它們上面，所以很多的時間花在了解決一些歷史遺留問題，而不是真正的問題。這就是為什么我的英文 blog 標題叫做“Surely I Am Joking”，因為它記錄了一些我認為根本不存在，或者是人為造成的問題。

邏輯學家

批評 PL 領域的問題并不意味著其它領域就好一些。恰恰相反，我認為做系統和數據庫的領域有更大的權威崇拜和扯淡的成分。有時候程序語言專家看起來很明顯的問題，做數據庫和操作系統的人卻看不到，扯來扯去扯不清楚，還自以為是的認為 PL 的東西他們都懂。

程序語言的理論是計算機科學的精髓所在，可是程序語言專家有他們自己的問題：他們膜拜邏輯學家。幾乎每一篇 PL 領域的論文，至少有一頁紙里面排列著天罡北斗陣一樣的稀奇古怪的邏輯符號，而它們表示的其實不過是一些可以用程序語言輕松做出來的解釋器和數據結構。有人（比如 Kent Dybivg）早就發現了這個規律，所以寫了一些工具，可以把程序語言自動轉換成 LaTeX 格式的邏輯公式，用以對付論文的寫作。

有人覺得那些公式有“數學的美感”，可是它們其實是挺有毛病的設計。如果你看看現代邏輯學鼻祖 Gottlob Frege 的原著，就會發現其實最早的時候邏輯學不是用公式表示的。Frege 那篇開創性的論文 Begriffsschrift 里面全都是像電路圖一樣的圖片，只有 20 多頁，而且非常容易讀懂。不知道是哪一個后輩把電路圖改成了一些稀奇古怪的符號。其實他的目的是用符號來表示那些電路圖，結果到后來徒孫們以為那些符號就是祖傳秘籍的精髓，忘記了那些符號背后的電路圖，所以導致了今天的混亂局面。看完了 Frege 的論文，我再一次領悟到了之前那句話：跟真正的大師學習，而不是跟他們的徒弟。

ACM SIGPLAN 的主席 Philip Wadler 有一次寫了一篇論文介紹 Curry-Howard corresponce，里面提到，好的點子邏輯學家總是比我們先想到。可是他卻沒有發現，其實程序語言的能力已經大大超越了數理邏輯，數理邏輯那些公式里面的 bug 其實不少。因為邏輯學家們不用機器幫助進行推理，有些問題搞了一百多年都搞不清楚是怎么回事，然后就弄出一些特殊情況和補丁來。有了一堆邏輯“定理”，卻又不能確信它們是正確的，而且存在悖論一類無厘頭的東西，所以又掰出一些 model theory 之類的東西來驗證它們的正確性。邏輯學家們折騰了一百多年都是在折騰類似的事情，卻沒懷疑過老祖宗的設計。我之前提到的 Hindley-Milner 系統的問題，很大部分原因就在于它所使用的邏輯里面其實有一個根本性的誤解。簡言之，就是把全稱量詞 ? 隨意亂放，導致輸入與輸出關系混亂。這也就是我為什么不喜歡 Haskell 和 OCaml 的最主要原因。

現在最熱門的邏輯學家莫過于 Per Martin-L?f。他的類型理論 Martin-L?f Type Theory 被很多 PL 人奉為神圣。我一直沒有搞清楚這個類型理論有什么特別，直到有一天我把 Martin-L?f 1980 年的那篇論文（其實是演講稿）拿出來看了一遍。然后我發現他通篇本質上就是在講一個 partial evaluator 要怎么寫，而我早就自己寫過 partial evaluator。其實并不是特別神奇的東西，只需要在普通解釋器里面改一兩行代碼就行，可是有人（比如 Neil Jones）卻為此寫出了 400 多頁的書和大量的論文。

之前提到的 Curry-Howard corresponce 也被很多人奉為神圣，它來自數學家 Haskell Curry 和邏輯學家 W.A. Howard 的一些早期發現。他們發現有些程序和定理的證明之間有對應的關系。然后就有 PL 專家開始走火入魔，說“程序就是證明，程序的類型就是定理”。可是他們卻沒有發現這個說法沒法解釋操作系統這種程序，因為它被設計為永遠不停地運行，所以不能滿足一個證明所具有的基本特征。而且很多程序被設計出來根本就不是要證明什么定理，它們是被設計來幫人做事情的。所以我覺得“程序就是證明”是很牽強附會的說法，你不能因為有的程序可以用來證明數學定理，就認為所有的程序都是某個定理的證明啊！把那句話反過來，說成“證明就是程序”還差不多。

但從以上的發現，我很高興的看到了自己作為一個程序員的價值。很多人瞧不起程序員，把他們蔑稱為“碼農”，可是程序如果寫好了，其實比起那些高深的邏輯學家和哲學家還要強，因為程序語言其實比數理邏輯還要強。有一位數學家說得好：為了真正深入的理解一個東西，你應該把它寫成程序。還有人說，編程只是一門失傳的藝術的別名，這門藝術叫做“思考”。我覺得很在理。

再見了，權威們

幾經顛簸的求學生涯，讓我獲得了異常強大的力量。我的力量不僅來自于老師們的教誨，而且在于我自己不懈的追求，因為機會只親睞有準備的頭腦。

曾經 Knuth 是我心中唯一的權威，后來我又屈服于 Cornell 和常青藤聯盟的權威和名氣。在一而再再而三的上當受騙之后，我終于把所有的權威們從我的腦子里轟了下去。也許有時候轟得太猛烈了一些，但總的說來是有好處的。不再是我心目中的權威并不等于我鄙視他們或者不尊敬他們。我只是獲得了不用膜拜他們，不用跟一群人瞎起哄的自由。我不尊敬的人都是一些自視過高的人或者他們的跟屁蟲。一般來說，權威們在我的腦子里失去的只是他們在很多其他人腦子里的那種被膜拜的地位，那種你可以用“XX人說過……”來壓倒理性分析的地位。現在他們在我心目中是一群普通的，由蛋白質形成的生物，有好心腸或者壞心眼的，高傲，謙虛或者虛偽的人。我不會自討苦吃，他們的想法如果真的好，我當然要拿來用，但是沒有任何人的東西我是不加批判全盤接受的。我深深地知道接受錯誤想法的危害性，所以我也希望大家都具有批判的思維，不要盲目的接受我說的話。我不喜歡“大神”或者“牛人”這種稱呼，我也反感那種自稱膜拜我的人，因為正是這種人讓權威主義現在橫行于世。

美國的權威主義勝于歐洲，但也不是每個人都那么的崇拜權威，而中國才是權威主義的重災區。像“圖靈獎得主XX”這樣的稱呼，恐怕只有在中國才見得到。所以我希望國內的同學們，不要盲目的崇拜國外的所謂“大師”，“牛校”或者“牛公司”。祝你們早日消滅掉心里的各種權威以及對他們的畏懼心理，認識到自己的價值和力量。

后記（關于 IU）

有些人看了我的文章介紹在 IU 的經歷，告訴我他們申請了 IU。我覺得有必要免責聲明一下：我沒想到，也不希望有人因為我的文章而去 IU，YMMV (your mileage may vary)。由于我有所準備，所以對于 Friedman 的教學如魚得水。很多同學也說學到很多，可是有一些其他人告訴我他們覺得 Friedman 的課他們聽起來很吃力，只能說是勉強過關。而且我只介紹了 IU 好的方面，卻把不大好的地方一筆帶過了。我在 IU 也有很艱難的時候。現在的情況是 Kent Dybvig 已經離開了 IU，加入了 Cisco。他的公司 Cadence Research Systems 和 Chez Scheme 也并入了 Cisco。Dan Friedman 由于年紀原因說不準還帶不帶學生。最近引進了一些貌似不錯的助理教授，但是我跟他們都不熟。我的經驗是助理教授一般都會為了研究資金，為了升為正教授而做一些身不由己的事情。其他的 CS 方向我都說不準 IU 是什么水平，所以還請同學們自己斟酌。我可以毫無疑問的一點是，IU 有非常美麗的校園，大大的超過清華，北大，Cornell，Stanford，MIT。

總結

以上是生活随笔為你收集整理的我和权威的故事——王垠的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。