作者：leezy_2000
關(guān)于編程語言的爭論雖然此伏彼起，但事實上很少有人真的在做編程語言的比較，同時許多無價值或錯誤的觀點卻在真實的誤導(dǎo)著許多程序員的認(rèn)識，為此我決定寫這篇文章。
一、前提本文后述觀點是基于這樣一種前提：只關(guān)注語言特性，而忽略標(biāo)準(zhǔn)庫和其他各種商業(yè)框架（雖然這些更大程度上決定著人們對語言的選擇）。這必將使這篇文章的觀點更具有理論意義，而非現(xiàn)實意義。但語言特性是編程語言的根本，無論是做語言比較，還是評論語言，都應(yīng)該以此為出發(fā)點，否則將導(dǎo)致討論范圍的無限增大，進而導(dǎo)致討論的無結(jié)果。為避免有人找碴，必須預(yù)先聲明的一點是，由標(biāo)準(zhǔn)庫實現(xiàn)的語言特性將被看作語言特性，進而列入考慮的范圍。同時這里說的編程語言是指一些通用目的的高級編程語言，比如C/C++,Java,Python,Perl等。
二、80% 與 20%我學(xué)習(xí)不同的編程語言時，更多的時候是感覺到其間的共性。于是我對此進行思考，發(fā)現(xiàn)這種共性的存在具有必然性。
軟件的根本特性是復(fù)雜性，對此Dijkstra告訴我們，“掌握復(fù)雜性的技巧早在古代就有了：divide et impera(分解和規(guī)則)”。當(dāng)我們具體進行分解和設(shè)定規(guī)則時，我們要用到一些分析和設(shè)計方法。當(dāng)代兩大主流分析和設(shè)計方法是結(jié)構(gòu)化和OO。結(jié)構(gòu)化設(shè)計方法的三種基本結(jié)構(gòu)是順序，分支和選擇。OO的三大基本特性是封裝，繼承和多態(tài)。各種設(shè)計語言通常都支持這兩種分析和設(shè)計方法，其基本語言特性也必然涵蓋上述六個要素。所以從這個角度看不同編程語言必然具有相當(dāng)多的共性。
可為佐證的首先是《The Art of Computer Programming》這本書。這本書中的算法用低級語言描述的，但其內(nèi)涵被大多掌握不同編程語言的開發(fā)人員所分享。有人評論說，當(dāng)今軟件開發(fā)人員所掌握的絕大多數(shù)計算機程序設(shè)計的知識都來源于此，這意味著相當(dāng)多程序設(shè)計知識可以具體實現(xiàn)在各種編程語言中。
另一個是《設(shè)計模式》，你很難說那個設(shè)計模式是專屬于那種語言的，大多的設(shè)計模式可以用各種編程語言來實現(xiàn)的。雖然具體的實現(xiàn)上會因為語言特性而做相當(dāng)?shù)恼{(diào)整。應(yīng)該可以說不同的編程語言在某個確定的設(shè)計模式面前，體現(xiàn)的也是共性。
把上面的內(nèi)容總結(jié)一下就是：很多的場合下，不同的語言是可以互換的。互換的基礎(chǔ)是不同種語言間的共性，而存在這些共性的基本原因是不同的編程語言要支持的根本思想中大部分是相同的。
故老相傳，學(xué)到高處，語言間切換是很容易的，很多人的經(jīng)歷也驗證了這句話。上面說的正是這句話的所以由來。
這里沒有把各種語言等同起來的意思，但編程語言的個性同共性相比反倒是較小的部分。它們往往成為關(guān)注的焦點，同時也是存在這么多編程語言的一個主要原因。
大多數(shù)人對此的體驗大概來自基本語法，事實上這是讓人非常懊惱的一個方面?；菊Z法的不同起源于什么無從考證，但根本事實是這種不同在浪費學(xué)習(xí)者的時間。我們來做個類比大家就知道這種浪費有多么不值得，UML出現(xiàn)前，OO表示法主流上有三種，他們表達意思差不太多，但他們不一樣。學(xué)習(xí)的人，工作的人要為同一件事花近三倍的力氣（要不然別人用另外的表示法寫的文檔你怎么看的懂），現(xiàn)在這些人得到了解放。但在編程語言領(lǐng)域這種糟糕的事仍然在繼續(xù)，差不多每個人都要記住好多種if語句，雖然事實上它們可以統(tǒng)一。
拋卻基本語法不談，其它的方面是真的不多。即使把C++和Python這兩種差別非常巨大的語言放在一起進行類比。一時間能想起的主要差別也只有：①Python內(nèi)置了list及tuple等一些數(shù)據(jù)結(jié)構(gòu)作為內(nèi)置類型（當(dāng)然還有與此相關(guān)的操作）。而C++中要用基本類型對此進行定義。②Python支持函數(shù)生成器和函數(shù)嵌套定義。而C++不支持。③Python是動態(tài)類型語言，先天具有范型能力。而C++要通過模板的概念支持范型。這不是一個完整的列表，如果愿意，這個列表確實可以變長，但另外一張反映共性的標(biāo)通常會更長。
（注：我沒有參考相應(yīng)的書籍把兩者的語言特性一一羅列，并徹底的比較其異同，僅是把平常使用時經(jīng)常用到的語言特性想了一下，寫了上面的東西。如果那位使用過兩種以上的語言，我也建議能用這種方式來確定兩種不同語言的常用部分有多大的重疊度。）
這也正是題目所說的80%和20%的根本含義。不同的語言雖然看起來差別很大，但共性要大于個性。至于是不是4：1的關(guān)系，老天知道，那位感興趣，可以統(tǒng)計出一份數(shù)據(jù)來。
三、結(jié)論（事先聲明，這里是從學(xué)習(xí)的角度來下這個結(jié)論，而非混飯的角度）
好多年前就有這句話：編程語言并不重要，設(shè)計思想才重要。這幾年在托鼠標(biāo)即是編程的大潮中，這句話逐漸被遺忘了。
在這篇文章的結(jié)尾，我想對這句話進行一些詮釋。編程語言不是不重要，光有想法，基本語法都搞不清楚的人肯定什么都做不出來。但而后呢？不停的學(xué)習(xí)新的語言，接觸新的語法么？從上面的分析看，如果你這樣做，那意味著你在做重復(fù)勞動，并且沒有實際的進步。真的程序員不該如此墮落，總要學(xué)些思想性的東西吧?？偛荒苋パ芯吭趺床拍馨岩粋€鈕拖到另一個地方的路徑縮到最短吧？
學(xué)習(xí)編程語言，熟悉基本語法后，一定要關(guān)注某些語言特性背后所承載的東西。但
單知道這兩樣仍然是不夠的，還要知道什么時候這些被承載的東西適合使用。這是遠(yuǎn)比前兩者更難的東西。
為避免結(jié)論過于抽象，舉個例子來描述這三重境界：比如說學(xué)習(xí)模板的時候，第一步是要把基本語法搞清楚，要能夠確保寫出來的模板類、模板函數(shù)沒有語法錯誤，能夠通過編譯。第二步要去理解范型這種思想，去思考范型存在的根本目的是什么？第三步是能夠在碰到具體問題時，來正確的取舍是否需要使用這種特性，用的話又怎么去用。
四、尾聲程序員作為一個籠統(tǒng)的稱呼，其真正的含義正在分化。Bjarne Stroustrup自稱：“是的，我是一個程序員”。而一個只會拖拖鼠標(biāo)，完成指定功能的新手，通常我們也稱之為程序員。但事實上這同一個稱呼，其內(nèi)在含義是不一樣的。
可視化編程和RAD的快速發(fā)展所產(chǎn)生的一個明顯后果就是，所謂的軟件藍領(lǐng)離我們是如此之近。并且越來越多的人以閃電般的速度切入這個隊伍。這又是怎么樣一場絢麗卻虛假的繁華。于是許多妖言應(yīng)勢而生，最為讓人哭笑不得的莫過一句“程序員是吃青春飯的”。這未免太小覷程序員這個職業(yè)了，這句話成立的前提是做程序員沒什么難度，不需要什么積累，主要是力氣活。誠然如果程序員只是一個拖鼠標(biāo)的職業(yè)，那么年富力強者具有先天的優(yōu)勢。但很不幸大多時候他不是，或者說不應(yīng)該是。
在這里我姑且漠視許多公司對軟件藍領(lǐng)的呼喚，單從個人發(fā)展的角度提醒一句，實踐實用主義的同時，莫要忘了什么是編程的根本，莫要忘了提升自己的境界。