4月3日，《麻省理工科技評論》本周刊文稱，編程語言塑造了用戶的思維方式。這也可以反映科技行業(yè)創(chuàng)業(yè)公司的策略，以及他們?yōu)楹斡心芰崿F(xiàn)自我變革。

以下為文章全文：

作為Twitter、Hulu和許多當(dāng)代互聯(lián)網(wǎng)服務(wù)的開發(fā)語言，Ruby備受關(guān)注。而當(dāng)日本計算機(jī)科學(xué)家松本行宏決定設(shè)計這一語言時，他借鑒了薩莫埃爾·德拉尼（Samuel R. Delany）1966年科幻小說《Babel-17》中的概念。這部小說的核心是一種名為“Babel-17”的人造語言，能明顯提高使用者的思維水平。“Babel-17是一種準(zhǔn)確的分析語言，能讓你精通任何技術(shù)。”小說主角曾經(jīng)這樣說。通過Ruby，松本行宏希望實現(xiàn)類似的目標(biāo)：變革及優(yōu)化程序員的思維方式。

這一目標(biāo)聽起來非常宏大，但松本行宏的觀點已經(jīng)成為主流。軟件開發(fā)者通常都會相信，編程語言足以扭轉(zhuǎn)他們的思維方式，從而改變解決問題的方法，甚至改變他們對于應(yīng)該去解決哪些問題的認(rèn)識。這也是他們估計某家公司、某一產(chǎn)品和競爭對手規(guī)模的方式：“你們使用什么語言？”

對編程語言的審視將有助于外部人士了解，這些軟件公司為何能如此強(qiáng)大，有著如此高的價值，以及它們的產(chǎn)品和服務(wù)如何融入我們的生活。這些企業(yè)的內(nèi)部決策，即使用什么樣的語言，無論是Ruby、PHP還是C，將對我們所有人產(chǎn)生影響。如果你希望知道，為何Facebook看起來及用上去是當(dāng)前的模樣，以及未來會有什么樣的發(fā)展，你需要去了解馬克·扎克伯格（Mark Zuckerberg）使用的編程語言PHP。

在程序員之中，PHP或許是最不受尊重的編程語言。由于存在許多缺陷，知名技術(shù)博客Eevee認(rèn)為，PHP是“糟糕設(shè)計的一塊碎片”，而愿意使用PHP的開發(fā)者很業(yè)余。編程問答網(wǎng)站Stack Overflow聯(lián)合創(chuàng)始人杰夫·艾特伍德（Jeff Atwood）則表示：“聰明的工程人才紛紛前往Facebook，這非常奇怪。他們在Windows XP環(huán)境中開發(fā)PHP代碼。他們是黑客，但這里的‘黑客’是一種貶義。”艾特伍德將PHP稱作“笨拙的巨獸”、“流行病”，以及吸引神秘事件愛好者的“鬼屋”。

成功的編程語言有著整體化的哲學(xué)，或是一整套邏輯自洽的指導(dǎo)原則，以組織詞匯和語法（即提供給程序員的指令）。但PHP并非如此。這一語言的設(shè)計者拉斯姆斯·萊爾多夫（Rasmus Lerdorf）曾經(jīng)承認(rèn)，他只是將許多東西混合在一起。“我不知道怎么阻止這一切。”他在2003年接受采訪時表示，“我完全不知道如何編寫一款編程語言，我只是在這一過程中不斷加入新的邏輯步驟。”

程序員最喜歡講的一個例子是PHP函數(shù)“mysql_escape_string”。在將信息發(fā)往數(shù)據(jù)庫之前，這一函數(shù)能從中去除惡意輸入請求。（惡意輸入的例子包括網(wǎng)站上表格請求用戶的電子郵件地址，以及黑客植入一段代碼竊取網(wǎng)站用戶的密碼。）在發(fā)現(xiàn)該函數(shù)的一個漏洞之后，一個名為“mysql_real_escape_string”的新版本被創(chuàng)建出來，但老版本并未被替換。因此目前的情況就像是在飛機(jī)駕駛艙中并排放兩個功能類似的按鈕：其中一個按鈕用于放下起落架，而另一個則用于安全地放下起落架。這不僅違背常理，甚至?xí)馂?zāi)難。

盡管許多人都不喜歡PHP，但PHP仍是很大一部分網(wǎng)站的基礎(chǔ)。一項研究顯示，在當(dāng)前互聯(lián)網(wǎng)的所有域中，基于PHP技術(shù)的部分多達(dá)39%。Facebook、維基百科，以及領(lǐng)先的發(fā)行平臺WordPress均利用了PHP來開發(fā)。這是由于，盡管存在許多缺陷，但PHP對入門者來說幾乎完美。PHP的名稱最初是“個人主頁”的英文縮寫。通過這一語言，程序員可以方便地在靜態(tài)HTML頁面上添加日期和用戶姓名等動態(tài)內(nèi)容。PHP的興起推動了從網(wǎng)站開發(fā)向網(wǎng)頁應(yīng)用開發(fā)的飛躍，而開發(fā)者甚至不必是專業(yè)人士。

維基媒體基金會負(fù)責(zé)維基百科項目的首席軟件工程師奧利·利夫尼（Ori Livneh）表示，PHP易于上手的特點正是維基百科成功的關(guān)鍵。不過他指出：“我一直討厭PHP。”由于對PHP的依賴，維基百科在用戶規(guī)模擴(kuò)大之后出現(xiàn)了設(shè)計漏洞。（正是由于這一原因，在2008年之前，維基百科一直沒有支持移動設(shè)備。而直到2013年，該網(wǎng)站才提供了對用戶友好的編輯界面。）不過，基于PHP，一些不熟悉軟件編程的人士也可以開發(fā)新功能。例如，利用PHP語言，維基百科在“埃及古物學(xué)”條目上展示了象形文字，并可以在頁面上實現(xiàn)音樂播放。

谷歌(微博)無法使用PHP語言，因為當(dāng)前的谷歌需要非常出色地完成一項工作，即迅速而準(zhǔn)確地進(jìn)行搜索。因此，谷歌搜索引擎采用了更強(qiáng)大的語言，例如Java和C++。與谷歌相比，F(xiàn)acebook是一個小規(guī)模實驗的集散地，一個按鈕、消息流和小發(fā)明的大雜燴。在這種情況下，PHP可以更快地實現(xiàn)功能。

你甚至可以想象，哈佛大學(xué)宿舍里的扎克伯格如何在決定性時刻選擇Facebook的開發(fā)方式。他需要以最小的成本使網(wǎng)站上線。網(wǎng)絡(luò)發(fā)展速度很快，用戶的喜好變幻無常，把握機(jī)會的唯一方式就是成為市場的先行者。究竟是做成一盤大雜燴，還是一份精致的意大利面，這無關(guān)緊要。他首先需要完成這一網(wǎng)站，讓用戶可以使用。他考慮的并不是代碼是否優(yōu)美，而是如何讓好友們登上這一名為TheFacebook的網(wǎng)站，評價他們熟悉的女生。

今天，F(xiàn)acebook的市值超過2000億美元，而該公司辦公室的墻上有這樣的標(biāo)語：“完成工作比完美更重要”，以及“快速行動，打破僵局”。這些大膽的口號是為了確保員工符合該公司的“黑客”文化。而這也準(zhǔn)確體現(xiàn)了PHP的價值。快速行動，打破僵局，這正是PHP的本質(zhì)，代表了PHP程序員思考問題的方式。你甚至可以這樣說：PHP本身創(chuàng)造并維持了Facebook的文化。

秘密武器：更強(qiáng)大的語言

如果你希望找到與PHP截然相反的另一種理念，看看另一個極端是什么樣，那么金融交易公司Jane Street Capital位于紐約下曼哈頓的總部值得一看。這家有著400名員工的公司目前處理著美國每日證券交易量的約2%。

當(dāng)我見到Jane Street Capital技術(shù)主管雅隆·明斯基（Yaron Minsky）時，他正坐在辦公桌旁，旁邊放著一臺恩尼格瑪密碼機(jī)，這是為數(shù)不多仍然現(xiàn)存的二戰(zhàn)時代裝備之一。我原本以為，這就是他房間中最酷的秘密武器，但隨后我發(fā)現(xiàn)自己犯了錯誤。明斯基談到了一款名為OCaml的編程語言。作為計算機(jī)科學(xué)博士，明斯基于10年前說服自己的老板，使用OCaml重新編寫公司的整個交易系統(tǒng)。

在此之前，幾乎沒有人在實際應(yīng)用中使用過OCaml。這一語言的設(shè)計者是法國一家研究機(jī)構(gòu)，而最初目的是為了優(yōu)化能自動證明數(shù)學(xué)定理的計算機(jī)系統(tǒng)。明斯基在自己的研究生階段接觸到了這一語言。他認(rèn)為，這一語言可以取代Jane Street Capital交易系統(tǒng)中使用的Excel電子表格。

OCaml的最大特點在于“輸入檢查系統(tǒng)”。這類似于微軟Word的語法檢查功能，能在系統(tǒng)認(rèn)為錯誤的代碼下方使用綠色波浪線做出標(biāo)記，隨后禁止這樣的代碼運行。利用這一系統(tǒng)開發(fā)出的程序有著極強(qiáng)的可靠性，而當(dāng)所開發(fā)的軟件每天需要處理300億美元的交易時，這一點很重要。

明斯基表示，通過捕捉漏洞，OCaml的輸入檢查系統(tǒng)使Jane Street Capital的程序員可以專注于更高大上的問題。而如果該公司能將OCaml的檢查功能進(jìn)一步內(nèi)化，那么將培養(yǎng)出一種習(xí)慣，使程序員不可能再去思考錯誤的想法。

此外，為了讓輸入檢查工具發(fā)揮功能，程序員需要在代碼中添加復(fù)雜的注釋。這就好比說，Word的語法檢查工具要求你對所有句子進(jìn)行標(biāo)注。在輸入受限制的情況下編寫代碼有些麻煩，甚至?xí)钊藛蕷?。而更糟糕的是，與其他編程語言相比，OCaml會涉及非常抽象的數(shù)學(xué)，從而給大部分程序員帶來困難。

不過，這一語言的精確性對某些人來說極具吸引力，同時也給Jane Street Capital帶來了不同尋常的招聘優(yōu)勢。盡管一些軟件開發(fā)者不理會PHP的缺陷而加入Facebook和維基百科，但明斯基表示，OCaml語言以及他的著作《現(xiàn)實世界的OCaml》有助于吸引優(yōu)秀的編程人才。吸引力并不僅僅在于語言，也在于使用這一語言的人群。在Jane Street Capital，員工在休息時間會去下象棋。這種智力競爭的文化似乎與對OCaml語言的使用密切相關(guān)。

谷歌似乎也試圖憑借自主設(shè)計的高性能語言Go來實現(xiàn)同樣的目的。為了讓網(wǎng)絡(luò)服務(wù)變得更優(yōu)雅、更高效，針對大型網(wǎng)絡(luò)服務(wù)背后的服務(wù)器開發(fā)更先進(jìn)的軟件頗有益處。此外，對于喜歡新鮮事物、喜歡挑戰(zhàn)困難的程序員來說，這也是一種吸引力。

適當(dāng)時機(jī)：發(fā)展壯大之后

2010年底，F(xiàn)acebook曾遭遇過一場危機(jī)。PHP并不是一種強(qiáng)調(diào)代碼性能的語言，但當(dāng)時Facebook出現(xiàn)了這方面的需求。Facebook的發(fā)展速度很快，因此如果不作出一些重大改變，那么該公司將會走向失敗。

徹底改變編程語言并非可選方案之一。Facebook使用PHP編寫的代碼已達(dá)到數(shù)百萬行，從事這一開發(fā)的工程專家已有數(shù)千人，而所形成的產(chǎn)品已積累了數(shù)億用戶。因此，F(xiàn)acebook的多名高級工程師成立了一個小團(tuán)隊。他們試圖發(fā)明一種方式，使Facebook正常提供服務(wù)，同時不必放棄自己的“母語”。

整個解決方案的一部分是開發(fā)一款編譯器，將Facebook的PHP代碼翻譯成運行速度更快的C++代碼。而另一部分則是計算機(jī)語言工程領(lǐng)域的一項壯舉：繼續(xù)給Facebook程序員帶來PHP風(fēng)格的文化，同時讓他們編寫可靠性更高的代碼。

這一“救援小組”為此設(shè)計了PHP語言的一個變種，即Hack。Hack是一種帶可選輸入檢查系統(tǒng)的PHP語言。你既可以像以往一樣，快速編寫出代碼混亂的PHP程序，也可以遵循系統(tǒng)要求，通過添加注釋讓系統(tǒng)來檢查代碼的正確性。這一輸入檢查工具完全使用OCaml來開發(fā)，而這并非巧合。Facebook希望程序員使用熟悉的語言來快速編寫代碼，但并不希望他們將事情搞錯。（去年，扎克伯格公布了Facebook新的工程口號：“在確保基礎(chǔ)設(shè)施穩(wěn)定的情況下快速行動。”）

與此同時，Twitter也在進(jìn)行類似的轉(zhuǎn)型。Twitter的開發(fā)最初基于Ruby>