點擊查看全文

對的，我這里要講的不是如何掌握一種程序語言，而是所有的……

很多編程初學者至今還在給我寫信請教，問我該學習什么程序語言，怎么學習。由于我知道如何掌握“所有”的程序語言，總是感覺這種該學“一種”什么語言的問題比較低級，所以一直沒來得及回復他們 :P 可是逐漸的，我發現原來不只是小白們有這個問題，就連美國大公司的很多資深工程師，其實也沒搞明白。

今天我有動力了，想來統一回答一下這個擱置已久的“初級問題”。類似的話題貌似曾經寫過，然而現在我想把它重新寫一遍。因為在跟很多人交流之后，我對自己頭腦中的(未轉化為語言的)想法，有了更精準的表達。

如果你存在以下的種種困惑，那么這篇文章也許會對你有所幫助：

• 你是編程初學者，不知道該選擇什么程序語言來入門。
• 你是資深的程序員或者團隊領導，對新出現的種種語言感到困惑，不知道該“投資”哪種語言。
• 你的團隊為使用哪種程序語言爭論不休，發生各種宗教斗爭。
• 你追逐潮流采用了某種時髦的語言，結果兩個月之后發現深陷泥潭，痛苦不堪……

雖然我已經不再過問這些世事，然而無可置疑的現實是，程序語言仍然是很重要的話題，這個情況短時間內不會改變。程序員的崗位往往會要求熟悉某些語言，甚至某些奇葩的公司要求你“深入理解 OOP 或者 FP 設計模式”。對于在職的程序員，程序語言至今仍然是可以爭得面紅耳赤的宗教話題。它的宗教性之強，以至于我在批評和調侃某些語言(比如 Go 語言)的時候，有些人會本能地以為我是另外一種語言(比如 Java)的粉絲。

顯然我不可能是任何一種語言的粉絲，我甚至不是 Yin 語言的粉絲 ;) 對于任何從沒見過的語言，我都是直接拿起來就用，而不需要經過學習的過程。看了這篇文章，也許你會明白我為什么可以達到這個效果。理解了這里面的東西，每個程序員都應該可以做到這一點。嗯，但愿吧。

重視語言特性，而不是語言

很多人在乎自己或者別人是否“會”某種語言，對“發明”了某種語言的人倍加崇拜，為各種語言的孰優孰劣爭得面紅耳赤。這些問題對于我來說都是不存在的。雖然我寫文章批評過不少語言的缺陷，在實際工作中我卻很少跟人爭論這些。如果有其它人在我身邊爭論，我甚至會戴上耳機，都懶得聽他們說什么 ;) 為什么呢?我發現歸根結底的原因，是因為我重視的是“語言特性”，而不是整個的“語言”。我能用任何語言寫出不錯的代碼，就算再糟糕的語言也差不了多少。

任何一種“語言”，都是各種“語言特性”的組合。打個比方吧，一個程序語言就像一臺電腦。它的牌子可能叫“聯想”，或者“IBM”，或者“Dell”，或者“蘋果”。那么，你可以說蘋果一定比 IBM 好嗎?你不能。你得看看它里面裝的是什么型號的處理器，有多少個核，主頻多少，有多少 L1 cache，L2 cache……，有多少內存和硬盤，顯示器分辨率有多大，顯卡是什么 GPU，網卡速度，等等各種“配置”。有時候你還得看各個組件之間的兼容性。

這些配置對應到程序語言里面，就是所謂“語言特性”。舉一些語言特性的例子：

• 變量定義
• 算術運算
• for 循環語句，while 循環語句
• 函數定義，函數調用
• 遞歸
• 靜態類型系統
• 類型推導
• lambda 函數
• 面向對象
• 垃圾回收
• 指針算術
• goto 語句

這些語言特性，就像你在選擇一臺電腦的時候，看它里面是什么配置。選電腦的時候，沒有人會說 Dell 一定是最好的，他們只會說這個型號里面裝的是 Intel 的 i7 處理器，這個比 i5 的好，DDR3 的內存 比 DDR2 的快這么多，SSD 比磁盤快很多，ATI 的顯卡是垃圾…… 如此等等。

程序語言也是一樣的道理。對于初學者來說，其實沒必要糾結到底要先學哪一種語言，再學哪一種。曾經有人給我發信問這種問題，糾結了好幾個星期，結果一個語言都還沒開始學。有這糾結的時間，其實都可以把他糾結過的語言全部掌握了。

初學者往往不理解，每一種語言里面必然有一套“通用”的特性。比如變量，函數，整數和浮點數運算，等等。這些是每個通用程序語言里面都必須有的，一個都不能少。你只要通過“某種語言”學會了這些特性，掌握這些特性的根本概念，就能隨時把這些知識應用到任何其它語言。你為此投入的時間基本不會浪費。所以初學者糾結要“先學哪種語言”，這種時間花的很不值得，還不如隨便挑一個語言，跳進去。

如果你不能用一種語言里面的基本特性寫出好的代碼，那你換成另外一種語言也無濟于事。你會寫出一樣差的代碼。我經常看到有些人 Java 代碼寫得相當亂，相當糟糕，卻罵 Java 不好，雄心勃勃要換用 Go 語言。這些人沒有明白，是否能寫出好的代碼在于人，而不在于語言。如果你的心中沒有清晰簡單的思維模型，你用任何語言表述出來都是一堆亂麻。如果你 Java 代碼寫得很糟糕，那么你寫 Go 語言代碼也會一樣糟糕，甚至更差。

很多初學者不了解，一個高明的程序員如果開始用一種新的程序語言，他往往不是去看這個語言的大部頭手冊或者書籍，而是先有一個需要解決的問題。手頭有了問題，他可以用兩分鐘瀏覽一下這語言的手冊，看看這語言大概長什么樣。然后，他直接拿起一段例子代碼來開始修改搗鼓，想法把這代碼改成自己正想解決的問題。在這個簡短的過程中，他很快的掌握了這個語言，并用它表達出心里的想法。

在這個過程中，隨著需求的出現，他可能會問這樣的問題：

• 這個語言的“變量定義”是什么語法，需要“聲明類型”嗎，還是可以用“類型推導”?
• 它的“類型”是什么語法?是否支持“泛型”?泛型的 “variance” 如何表達?
• 這個語言的“函數”是什么語法，“函數調用”是什么語法，可否使用“缺省參數”?
• ……

注意到了嗎?上面每一個引號里面的內容，都是一種語言特性(或者叫概念)。這些概念可以存在于任何的語言里面，雖然語法可能不一樣，它們的本質都是一樣的。比如，有些語言的參數類型寫在變量前面，有些寫在后面，有些中間隔了一個冒號，有些沒有。

這些實際問題都是隨著寫實際的代碼，解決手頭的問題，自然而然帶出來的，而不是一開頭就抱著語言手冊看得仔仔細細。因為掌握了語言特性的人都知道，自己需要的特性，在任何語言里面一定有對應的表達方式。如果沒有直接的方式表達，那么一定有某種“繞過方式”。如果有直接的表達方式，那么它只是語法稍微有所不同而已。所以，他是帶著問題找特性，就像查字典一樣，而不是被淹沒于大部頭的手冊里面，昏昏欲睡一個月才開始寫代碼。

掌握了通用的語言特性，剩下的就只剩某些語言“特有”的特性了。研究語言的人都知道，要設計出新的，好的，無害的特性，是非常困難的。所以一般說來，一種好的語言，它所特有的新特性，終究不會超過一兩種。如果有個語言號稱自己有超過 5 種新特性，那你就得小心了，因為它們帶來的和可能不是優勢，而是災難!

同樣的道理，最好的語言研究者，往往不是某種語言的設計者，而是某種關鍵語言特性的設計者(或者支持者)。舉個例子，著名的計算機科學家 Dijkstra 就是“遞歸”的強烈支持者。現在的語言里面都有遞歸，然而你可能不知道，早期的程序語言是不支持遞歸的。直到 Dijkstra 強烈要求 Algol 60 委員會加入對遞歸的支持，這個局面才改變了。Tony Hoare 也是語言特性設計者。他設計了幾個重要的語言特性，卻沒有設計過任何語言。另外大家不要忘了，有個語言專家叫王垠，他是早期 union type 的支持者和實現者，也是 checked exception 特性的支持者，他在自己的博文里指出了 checked exception 和 union type 之間的關系 :P

很多人盲目的崇拜語言設計者，只要聽到有人設計(或者美其民曰“發明”)了一個語言，就熱血沸騰，佩服的五體投地。他們卻沒有理解，其實所有的程序語言，不過是像 Dell，聯想一樣的“組裝機”。語言特性的設計者，才是像 Intel，AMD，ARM，Qualcomm 那樣核心技術的創造者。

合理的入門語言

點擊查看全文

總結

以上是生活随笔為你收集整理的王垠：如何掌握所有的程序语言的全部內容，希望文章能夠幫你解決所遇到的問題。

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