我們需要新的編程語言?你可能認(rèn)為并不需要，但是如果你去了解最近的趨勢，你可能會改變你的想法。為什么Google采用GO和DART兩種編程語言?為什么IBM、Cray、Red Hat分別創(chuàng)造了X10、Chapel和Ceylon三種語言?

未來，這10種編程語言(DART、Ceylon、GO、F#、OPA、Fantom、Zimbu、X10、Haxe、Chapel)是否能否撼動IT。新的編程語言是為了滿足某些人的創(chuàng)作沖動還是新編程方式的技術(shù)演進(jìn)?

回顧歷史

如果你回頭看看，我們可以看出新語言的爆發(fā)將歷史分為3個(gè)時(shí)期，每個(gè)時(shí)期都鏈接到技術(shù)演進(jìn)的臨界點(diǎn)。

圖中時(shí)間點(diǎn)以外的還有其他重要語言：(1)Pascal – 1970、(2)C – 1972、(3)Prolog – 1972、(4)Smalltalk – 1972、(5)Erlang – 1986、(6)Perl – 1987、(7)C#

云計(jì)算是否會用到這些語言?如果你分析這些新語言背后的故事，你會看到一個(gè)新興的共同主題。

1.分布式/并行計(jì)算

可用于并行計(jì)算的編程語言(Cray的Chapel、IBM的X10)、并發(fā)編程(Clojure，F(xiàn)antom，Go)和完整云棧單語言(Opa)。

由于云計(jì)算所有模式是將任務(wù)分發(fā)跨越不同地域的多個(gè)CPU并行或同時(shí)運(yùn)行，所以現(xiàn)今的編程語言都不是很適合。

2.多范式編程

支持面向?qū)ο蠛秃瘮?shù)式編程語言(Clojure、F#、Fantom、Scala)，相對于并行化程序要簡單，而純函數(shù)式語言看來并不是十分成功。因此，需要嘗試多范式編程語言。

3.多平臺編程

多平臺編程語言不僅可在JVM和CLR實(shí)施(Clojure、Fantom、Scala)，還可以在其他幾個(gè)平臺(Clojure & Fantom on JavaScript engine、Scala on Android、Haxe on several platforms)。這事我們幾十年來一直追逐的夢想，因此這就是創(chuàng)建跨平臺語言的最好理由。

4.規(guī)模化編程

可讀性、模塊化(Ceylon)、編譯速度(Go、Zimbu)、適合大型團(tuán)隊(duì)(Scala)、Meta-programmability(Ceylon、Scala)和簡潔(Scala、Zimbu)是構(gòu)建大型應(yīng)用程序的編程語言的特性。

云計(jì)算提供了幾乎無限的計(jì)算能力，這使得我們可以構(gòu)建更大規(guī)模、更復(fù)雜的應(yīng)用。當(dāng)然構(gòu)建大型應(yīng)用需要大型團(tuán)隊(duì)和易于維護(hù)的代碼。因此創(chuàng)建大型應(yīng)用程序的編程語言勢在必行。

5.客戶端編程

替代JavaScript的DART、客戶端和服務(wù)器端相同的語言(Naxe、Opa、Zimbu)自然有自己特有的優(yōu)勢。

云計(jì)算需要客戶端代碼無縫的運(yùn)行在多個(gè)客戶端設(shè)備上，雖然JavaScript已經(jīng)成為了一個(gè)標(biāo)準(zhǔn)，但沒有人喜歡它。因此，需要構(gòu)建比JavaScript更好的并適用于多客戶端平臺的語言。

12種語言快速預(yù)覽

12種語言是按照A-Z進(jìn)行排序的，有趣的是這12種語言都是遵循某種開源許可之下(圖表中不包括HTML5，因?yàn)閺膰?yán)格意義上它還不是一個(gè)新語言，同時(shí)也排除了Node.js，因?yàn)樗鼉H僅是服務(wù)器端JavaScript引擎)。(李智/編譯)