在 7 月上旬的一篇 CACM 博客文章中，Doug Meil 談?wù)摿恕稙楹斡羞@么多編程語言？》這個話題。而在 1990 年代，曾有一位精通計算機、但并非身為全職開發(fā)者的朋友向他提問“為何沒有一種好用的編程語言？”當(dāng)時他的回答是，編程語言同行為特定的人物或工作語言而設(shè)計。

訪問：

阿里云“無影云電腦” 支持企業(yè)快速實現(xiàn)居家辦公

(資料圖片)

（來自：BLOG@CACM）

從這個意義上說，大多數(shù)語言的區(qū)別，并不在于它們使什么成為可能、而更多地表現(xiàn)在它們使什么變得容易。

幾年前，Doug Meil 有機會參觀了位于加州山景城的計算機歷史博物館。有趣的是，在眾多展品中，有一幅關(guān)于編程語言演變的超大號壁紙圖標(biāo)。

這張圖是如此之大，想必任何編寫過“Hello World”語句人們，都可以在上面找到對應(yīng)的編程語言。

在本能的趨勢下，人們會忍不住沿著時間的正序方向去查看。但若回頭望，你又會領(lǐng)略到不同的視角。

這張圖表顯示了已經(jīng)發(fā)明的數(shù)千種編程語言里的大約 150 種，其中一些較為通用、另一些則是為特定類型的應(yīng)用程序而設(shè)計。

圖表上的箭頭，顯示了較新誕生的語言如何受到了老語言的影響。不過就算復(fù)雜如此圖，它也只能算是更大范圍里的一個樣本。

（圖 via Coding Across America）

軟件世界里的新語言依然層出不窮，但很少有全新的語言冒出來。回顧早期，計算機的資源內(nèi)存、存儲和處理能力都相當(dāng)昂貴且有限。

為此，人們不得不逆風(fēng)上坡，甚至經(jīng)常需要通宵熬夜來爭取計算機的使用時間。而 1950-1960 年代初始的命名空間，可以精確地處理底層事務(wù)。

時至今日，年輕開發(fā)者們已鮮有涉足 FORTRAN（公式翻譯）、COBOL（通用商業(yè)導(dǎo)向語言）、BASIC（初學(xué)者通用符號指令代碼）、ALGOL（算法語言）、LISP（List Processor）。

不過就算大多數(shù)人可能根本沒有聽說過描述字符串處理算法的 SNOBOL 語言（1962）或 OBJOL，但只要充分理解了面向?qū)ο蟮木幊汤砟睿筒浑y推測它可以用來干什么 —— 至少年代的命名模式就是如此。

1964 年的 PL/I，致力于成為一種更好用的編程語言。雖然它沒有如設(shè)計者預(yù)期那樣發(fā)展，但早在 1960 年代初，人們就已經(jīng)提出過“為何有這么多編程語言”的疑問。

時間快速翻到千禧年后，我們陸續(xù)迎來了 Scala（2003）、Go（2009）、Rust（2010）、Kotlin（2011）和 Swift（2014）。

當(dāng)下的技術(shù)環(huán)境，似乎所有這些基本語言的屬性，都被重組到了特定的解決方案中。

其能夠滿足任何平臺上的所有低級 / 高級功能、過程 / 對象、單線程 / 多線程、編譯 / 腳本需求。

在此情況下，繼續(xù)創(chuàng)造新語言的最大因素，反而是出于控制的考量。

1990 年代中期，微軟主要提供了 Visual Basic 和 Visual C++ 開發(fā)語言，兩者都源于計算機歷史博物館壁紙上的舊節(jié)點。

VB 流行于為 Windows 桌面平臺構(gòu)建前端應(yīng)用程序，但缺乏許多高級語言功能 —— 比如數(shù)據(jù)結(jié)構(gòu)和線程。

VC++ 處于光譜的另一端 ——開發(fā)者幾乎可以做到任何事情，但難點在于語言本身太過復(fù)雜。

正因如此，一些人看到了打造一款“中間語言”的機會，于是 Java 在 1996 年迎來了爆發(fā)。

據(jù)悉，Java 是一種功能齊全的面向?qū)ο笳Z言，且涉及重點之一是跨平臺的可移植性，可惜這并不是微軟的首要目標(biāo)。

隨后 Sun Microsystems 和微軟在 1997 年陷入了曠日持久的沖突，并最終推動后者在 2022 年推出了 C# 。

乍一看 C# 和 Java 很像，但實際上并非如此。其填補了微軟開發(fā)堆棧的‘中間’位置，且該公司能夠更好地掌控該語言。

最后從總體設(shè)計控制角度來看，維護和發(fā)展現(xiàn)有系統(tǒng)，很容易變成一項艱巨的挑戰(zhàn)。而管理編程語言的增長，也是最困難的案例之一。

作為編程語言的用戶，優(yōu)秀開發(fā)者們不僅具有生產(chǎn)力、還能夠以創(chuàng)造性的方式去使用相關(guān)特性，即便這么做并不是語言作者所期望的。

2009 年的 Go 語言，就是一個相當(dāng)有趣的例子。其誕生的一個主要推動因素，就是需要能夠在 Google 的容器化云環(huán)境中，高效且可預(yù)測地部署。

其次是對強大語言的渴望，尤其在網(wǎng)絡(luò)和并發(fā)性方面。從人才角度來看，Google 顯然有能力為現(xiàn)有語言構(gòu)建一套新的編譯器和運行時引擎。

但要改變開發(fā)者的習(xí)慣，則需要費力地改變編程語言的語法和功能 —— 尤其是被告知某些事情不再被允許、或必須以不同方式去完成時。

關(guān)鍵詞： 軟件和應(yīng)用 計算機編程語言為何層出不窮化解開發(fā)者痛點