15 位健在的牛叉程序員，你知道哪幾位？

知識 06-18

本文作者：前端-小強

現如今程序員是越來越多了，所以優秀的程序員也是越來越多了。但是他們中哪些才是頂尖中的頂尖呢？

其實要明確地指出「哪一個」程序員是最優秀的，這幾乎不太可能，但是業內的開發者們還是對這個話題樂此不疲。ITworld 就通過投票，以及對其他國外社區（比如 Quora、Reddit）中的數據進行分析，來判斷排名和分析是否一致。結果，有一些名字確實在大家的討論中反覆出現。

下面就讓我們來看看依然健在的最受大家認可的 15 位優秀程序員：

（小編先補充聲明，下面排序並不是按個人成就。如果你喜歡的大牛排在後面了，別糾結別激動 ~≧≦~ ）

1. Margaret Hamilton

主要成就：阿波羅計劃飛行控制軟體的幕後英雄

上榜理由：作為 Charlse Stark Draper 實驗室軟體工程部門的主任，她領導她的小組為 NASA 的阿波羅計劃和Skylab任務設計並開發了飛行控制軟體。

基於在阿波羅計劃中的工作成就，她隨後研發了通用系統語言和 DBTF 開發範式。她開創性地提出了「非同步軟體、優先調度、以及高可信度軟體設計」等概念。這些都成為日後「軟體工程」的基礎。她是1986年Augusta Ada Lovelace獎的獲得者，並且在2003年獲得了NASA傑出空間表現獎。

網友評價

ford_beeblebrox：Hamilton發明了軟體測試，她可以算得上是美國計算機工程的創始人。

Dan Allen：我認為在她所做出成就之前（恕我冒昧，因為Knuth也被包括在這個範圍當中），計算機編程（以及其相關的東西）都還只是數學的一個分支。然後一套航天飛行器的飛行控制軟體清晰地把編程帶向了一個不同的範式領域。

David Hamilton: …是她創造了「軟體工程」這個詞，然後又用例子告訴大家怎麼做。

Drukered：她太厲害了。

推薦閱讀

《就是這個美女程序員，寫出了讓阿波羅成功登陸月球的代碼！》

（旁邊是「著作等身」的阿波羅制導系統的代碼）

2. Donald Knuth

主要成就：《計算機編程藝術》的作者

上榜理由：他寫了一本關於計算機編程理論的決定性著作，發明了 TeX 數字排版系統。他是1971年第一屆ACM Grace Murray Hopper獎的獲得者（譯者註：美國海軍女少將 Grace Murray Hopper 也絕對是載入史冊的計算機科學家和頂級程序員，可惜她已經去世，因此沒有列入本文名單）。

並且是計算機最高獎ACM圖靈獎獲得者（1974）（要知道當時他才36歲），還是1979年美國國家科學獎章獲得者以及IEEE馮諾依曼獎章獲得者（1995）。並在1998年被任命為計算機歷史博物館名人堂成員。

網友評價：

匿名：寫《計算機編程藝術》這本書，估計是有史以來關於計算機編程最複雜的工作。

Jaap Weel：在我用過的計算機軟體裡面，只有一種是幾乎沒有 bug 的，那就是Don Knuth編寫的TeX。這太讓人印象深刻了。

伯小樂補充：關於 TeX 幾乎沒 Bug，是真事。高德納再一次用行動宣告，我這個東西（TeX），不可能再有什麼大的改進了，最多只能小修小補，使其趨近完美。他還專門設立了獎金：誰發現Tex的一個Bug，就付他2.56美元，第二個錯誤5.12美元，第三個10.24美元。請看此文：《程序員單槍匹馬做的最複雜/重要的程序，是哪個？》。不過真的有人拿到他的支票了。

Mitch Ree-Jones：讓我評價他的話，那就是優秀得讓人難以置信。

推薦閱讀：

《程序員單槍匹馬做的最複雜/重要的程序，是哪個？》、《高德納談計算機程序設計藝術（上）》和《高德納談計算機程序設計藝術（下）》

3. Ken Thompson

主要成就：Unix 締造者

上榜理由：和 Dennis Ritchie 一起，共同締造了Unix操作系統。他是 B 語言的發明人，以及 UTF-8 字元編碼規範和 ed 文本編輯器的發明人。同時他還是 Go 編程語言的共同開發者之一。他和 Dennis Ritchie 一起獲得了1983年的ACM圖靈獎，1994年的IEEE計算機先鋒獎和1998年的美國國家技術獎章。1997年他正式成為美國計算機歷史博物館名人堂成員。

網友評價：

Pete Prokopowice：…他很可能是有史以來最成就卓著的程序員。（他的成就包括：）Unix內核，Unix工具，計算機國際象棋世界冠軍Belle、Plan 9、Go語言.」

Jan Jannink：Ken的貢獻遠遠超過了我們的想像，他的工作是業界的根基，其作用之大，持續時間之久，時至今日還在影響著我們的生活。

4. Richard Stallman

主要成就：Emacs 和 GCC 的締造者

上榜理由：他創立了GNU項目，並為其開發了很多核心工具，例如Emacs、GCC、GDB 等等，還有 GNU Make。他還創立了自由軟體基金會。他是1990年ACM Grace Murray Hopper獎獲得者，1998年EFF先鋒獎獲得者。

網友評價：

Srinivasan Krishnan：…在當年Symbolic公司和LMI公司的那場Lisp Machine糾紛中，他展示出了以一當百的編程實力

（黃小非補充：這是一個非常傳奇的故事，當年Richard Stallman在麻省理工（MIT）的人工智慧實驗室工作，該實驗室的重要成果之一就是Lisp Machine。後來，實驗室中的兩撥科學家分別下海創業，創立了Lisp Machine Inc. ，也即是LMI，以及Symbolic公司。

這兩家公司的主要業務都是基於Lisp Machine的，而且和MIT也簽了約，說好了MIT授權他們使用Lisp Machine，而兩家對Lisp Machine做的改進也授權MIT使用，互惠互利。可是，沒想到後來Symbolic公司想另起爐灶，於是仿照Lisp Machine的功能自己重新研發了一個仿製品，日後再開發的軟體產品就是基於這個仿製品系統而不是MIT的Lisp Machine了，這樣也就不用與MIT和LMI再相互交換成果了。

這個舉動讓Richard Stallman非常憤怒，他決定收拾一下Symbolic這個被金錢沖昏頭腦的公司，於是他就盯著Symbolic的新產品推出情況，只要Symbolic一發布新產品，他就馬上在動手在Lisp Machine上做一個功能一樣的送給MIT和LMI使用。一般Sybmolic推出的新軟體，Richard Stallman自己一個人花個幾天就能做出一個功能一模一樣的。他的這種方式和工作效率曾經讓Symbolic公司一度非常惱火。）

Dan Dunay：「他對編程的理解和他思想的光輝是如此強大，以致於形成了一套完整的計算機編程亞文化體系」

Marko Poutiainen：他是個偉大的，雖然我並不是對他百分百的認同，但是必定是歷史上最重要的程序員之一，無論在他身前身後都是如此。

John Burnette：你想想假設Linux寫出來的時候，GNU項目還不存在的話，會是什麼情況？所以Stallman才是老大，耶~

5. Anders Hejlsberg