附錄C Java編程簡史

從GOTO到OOP

在20世紀(jì)60年代，軟件曾出現(xiàn)過嚴(yán)重危機，由軟件錯誤而引起的信息丟失、系統(tǒng)報廢事件屢有發(fā)生。為此，1968年，荷蘭E.W.Dijkstra提出了程序設(shè)計中常用的GOTO語句的三大危害：

破壞了程序的靜動一致性；
程序不易測試；
限制了代碼優(yōu)化。

此舉引起了軟件界長達數(shù)年的論戰(zhàn)，并由此產(chǎn)生了結(jié)構(gòu)化程序設(shè)計方法，同時誕生了基于這一設(shè)計方法的程序設(shè)計語言Pascal。

由瑞士Niklaus Wirth開發(fā)的Pascal，具備優(yōu)秀的數(shù)據(jù)結(jié)構(gòu)和控制結(jié)構(gòu)，為程序員提供了極大的方便性與靈活性，大受歡迎。筆者中學(xué)時候，第一門啟蒙語言就是Pascal。至今還清晰記得那臺式屏幕上藍色的Turbo Pascal界面，閃爍著白色的代碼的場景。

結(jié)構(gòu)化程序設(shè)計思想采用了模塊分解與功能抽象和自頂向下、分而治之的方法，從而有效地將一個較復(fù)雜的程序系統(tǒng)設(shè)計任務(wù)分解成許多易于控制和處理的子程序，便于開發(fā)和維護。因此，結(jié)構(gòu)化方法迅速走紅，并在整個20世紀(jì)70年代的軟件開發(fā)中占絕對統(tǒng)治地位。

但是，到了70年代末期，隨著計算機科學(xué)的發(fā)展和應(yīng)用領(lǐng)域的不斷擴大，對計算機技術(shù)的要求越來越高。結(jié)構(gòu)化程序設(shè)計語言和結(jié)構(gòu)化分析與設(shè)計已無法滿足用戶需求的變化，于是面向?qū)ο缶幊蹋∣OP）技術(shù)隨之而來。 面向?qū)ο蟪绦蛟O(shè)計在未來的軟件開發(fā)領(lǐng)域引起了大的變革，極大地提高了軟件開發(fā)的效率。

Java簡史

Java語言由當(dāng)時在Sun Microsystems上班的詹姆斯·高斯林（James Gosling）等人于1990年代初開發(fā)。

Java伴隨著互聯(lián)網(wǎng)的迅猛發(fā)展而發(fā)展，逐漸成為最重要的網(wǎng)絡(luò)編程語言之一。下圖是來自TIOBE編程語言社區(qū)的語言排行(TOP20, 2017.3)和占比趨勢(2002- )[1]：

下面是一張反應(yīng)Java發(fā)展簡史的表格：

JVM上的語言家族

大部分人大談特談JAVA語言，這對于我來說也許聽起來很奇怪，但是我無法不去在意。JVM才是Java生態(tài)系統(tǒng)的核心啊。

“我真正關(guān)心的是Java虛擬機的概念，因為是它把所有的東西都聯(lián)系在了一起；是它造就了Java語言；是它使得事物能在所有的異構(gòu)平臺上得到運行；也還是它使得所有類型的語言能夠共存?！?/p>

(James Gosling, Java編程語言的創(chuàng)造者 (2011, TheServerSide))

JVM最初是為了支持java編程語言。然而，隨著時間的流逝，越來越多的語言被改編或設(shè)計運行在JVM上。除了java語言，比較知名的JVM上的編程語言還有：

Groovy

“Groovy有超過Java將能夠提供的甜點,例如它具有輕易地在宿主程序中嵌入并編譯，以提供定制業(yè)務(wù)規(guī)則的能力，還有它如何為領(lǐng)域特定語言（Domain-Specific Language）提供優(yōu)雅，簡潔并且可讀性好的語法的能力.” ( Guillaume Laforge, Groovy的項目帶頭人)

動態(tài)類型和腳本語言（盡管一開始是一種動態(tài)語言，但在其 2012年的2.0發(fā)行版中也開始加入編譯時的靜態(tài)類型檢查了），Groovy的閉包(Closure)是很好的。Groovy使得運行時的元編程、編譯時的元編程、動態(tài)類型以及靜態(tài)類型容易處理。

關(guān)鍵詞： DSL，Grails，Gradle

Scala

“意在使其端正,而不塞入太多的語言特性到其里面,我在Scala上專注于使它變得更加的簡單.那是人們常常有的一種誤解,他們認(rèn)為Scala是一種帶有許許多多特性的宏大語言.盡管這通常不是真的.它實際上是一個相當(dāng)小的語言——當(dāng)Java8面世之時它將比Java更加的小巧?！? (Martin Odersky, Scala 創(chuàng)始人)

使用類型推斷混合了面向?qū)ο缶幊蹋∣OP）和函數(shù)式編程（FP）的一種靜態(tài)類型編程語言。這意味著Scala程序能夠被編寫成許多完全不同的風(fēng)格——純函數(shù)式風(fēng)格的，不純函數(shù)式的，或混合式風(fēng)格。

關(guān)鍵詞：FP，類型系統(tǒng)

Kotlin

“我們認(rèn)為Kotlin的定位是一種現(xiàn)代化工業(yè)語言：它專注于代碼重用和可讀性的彈性抽象，以及面向早期錯誤偵測，和明確捕獲維護與清理的意圖，這些問題的靜態(tài)類型安全性。Kotlin最重要的使用場景之一是對于一個龐大的Java代碼庫，其開發(fā)者需要一個更棒的語言：你能夠?qū)ava和Kotlin自由混合，遷移可以是漸進式的，不需要一下子對整個代碼庫進行改變?！?(Andrey Breslav, Kotlin創(chuàng)始人)

靜態(tài)類型的語言, 由IntelliJ IDEA團隊JetBrains開發(fā)。

使用Kotin可以寫出一些非常優(yōu)雅的代碼。舉個復(fù)合函數(shù)的例子[6]:

/**
 * The composition function return a composition of two functions passed to it:
 * compose(f, g) = f(g(*)).
 * Now, you can apply it to callable references.
 */

fun main(args: Array<String>) {
    val oddLength = compose(::isOdd, ::length)
    val strings = listOf("a", "ab", "abc")
    println(strings.filter(oddLength))
}

fun isOdd(x: Int) = x % 2 != 0
fun length(s: String) = s.length

fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
    return { x -> f(g(x)) }
}

關(guān)鍵詞：IDEA，優(yōu)雅

Clojure

“我著手創(chuàng)建一種語言,意在應(yīng)對我在使用Java和C#編寫的一些類型的應(yīng)用程序——像廣播自動化、調(diào)度以及選舉系統(tǒng)之類那些東西——它們許多都需要解決的并發(fā)問題.我發(fā)現(xiàn)只用面向?qū)ο缶幊毯陀媚切┱Z言的并發(fā)方法,對于處理這些類型的問題并不怎么夠好——它們太難了。我是List的擁護者,還有其它的函數(shù)式語言,而我想要做的就是解決那些問題,創(chuàng)造一種立足于實際的語言,再也不用拿Java來編程了.” (Rich Hickey, Clojure創(chuàng)始人在2009年InfoQ訪談)

動態(tài)類型語言，Lisp方言。Clojure是一種非常類似于Lisp和Scheme的函數(shù)式編程語言.函數(shù)式范式同那些習(xí)慣于Java的面向?qū)ο蠓绞讲⑶伊?xí)慣于其副作用的方式非常不同。

關(guān)鍵詞： Lisp，F(xiàn)P

JVM語言時間軸概覽[5]：

用哪種 JVM 語言？

使用哪種語言，完全依賴程序員的性情了。但是在項目，工作中“應(yīng)該使用”哪種語言，往往會有諸多限制。

RebelLabs《Java工具和技術(shù)概覽2014》[4]的報告上“要去學(xué)習(xí)的下一個JVM語言”：

RebelLabs《Java工具和技術(shù)概覽2016》[4]的報告上的“你最常使用的JVM上的語言”：

豐富多彩的JVM生態(tài)

一個完整的語言有：

前端、優(yōu)化、后端、runtime、庫

JVM生態(tài)體系，把后面四個都給包辦了。

jvm（Java虛擬機），是用C寫的，跟操作系統(tǒng)打交道C/C++目前看來，是好的選擇。虛擬機就是java與操作系統(tǒng)的中間層。

庫/API就基本是java自身封裝實現(xiàn)。

從最初的Jython和JRuby，到Scala，Clojure都是在JVM上實現(xiàn)的語言。為什么它們選擇JVM？

跨平臺

你的語言編譯器后端只需要輸出 JVM 字節(jié)碼就可以?？缙脚_需要極大的工作量(這個輪子，造起來有點耗時耗力)

JIT （Just-In-Time 即時編譯）性能

JIT 可以在運行中記錄程序運行的特征，并在其基礎(chǔ)上做大量的優(yōu)化（Java 企業(yè)級應(yīng)用的優(yōu)秀性能很大程度上是由此而來）。 JIT 自從 HotSpot JVM 隨 Java 1.2 發(fā)布以來，JVM JIT 的性能不斷提高，是無可爭議的成功產(chǎn)品。把 JVM 作為目標(biāo)平臺意味著大量的性能優(yōu)化工作可以「外包」給 JVM 來做，大大縮減了 Guest 語言的開發(fā)預(yù)算。

JVM 作為一個成熟的高層運行環(huán)境，為 Guest 語言提供了很多運行時所需要的服務(wù)，比如內(nèi)存管理（有業(yè)界領(lǐng)先的垃圾回收等），很大程度上避免了額外的獨立開發(fā)。

社區(qū)龐大且成熟

JVM 有多個獨立實現(xiàn)，也有若干廠商會持續(xù)推進，資料完備，社區(qū)巨大。
Java 社區(qū)有大量成熟的庫，一般來說，運行在 JVM 上的其它語言都會設(shè)計一個專用的「橋」來幫助直接使用 Java 的庫。
Java 有成熟的開發(fā)工具和環(huán)境。

題外話

另外一個趨勢是把 Javascript 成為新的目標(biāo)平臺。很多主流語言都已經(jīng)出現(xiàn)了編譯器可以翻譯成 Javascript，這也是得益于近年來 Javascript 虛擬機性能的顯著提升。

List-of-languages-that-compile-to-JS：
https://github.com/jashkenas/coffeescript/wiki/List-of-languages-that-compile-to-JS

下一代普遍可接受語言（next mass-appeal language）

下一代普遍可接受語言（next mass-appeal language）中，人的因素應(yīng)該起到重要作用。

1. 新的程序設(shè)計語言中的代碼片段應(yīng)該具備一個典型程序員所希望的適度復(fù)雜性。程序員會去期望在每天的工作中使用的語言。
2. 中級程序員認(rèn)可。所謂中級程序員是指那些普遍對博客、微博或者新語言不感興趣的人。
3. 程序員可以不用別人的幫助或者接受培訓(xùn)，就能對新的程序設(shè)計語言中的代碼片段的功能進行合理的準(zhǔn)確的推測。

NBJL可以走多遠就目前來看是難以下定論的，但是我相信這是一個比較實際的問題。我們所需要的新的程序設(shè)計語言能夠不需要大規(guī)模的培訓(xùn)，程序員們可以快速上手。

在其功能方面，注諸如如下條目：

• 類C的語法（很好用也很熟悉）
• 靜態(tài)類型（動態(tài)類型過于松散并且性能有限）
• 遵循面向?qū)ο蟪绦蛟O(shè)計（Object Oriented Programming，OOP）思想，并且包括函數(shù)式語言的元素（純函數(shù)式言非主流編程語言）
• 易于反射獲得（從而避免靜態(tài)類型限制）
• 屬性（getter和setter實在是太讓人討厭了）
• 閉包
• Null判斷（提供一個判斷變量能否為null的方式）
• 并發(fā)（好過原始線程和共享可變狀態(tài)（shared mutable state））
• 模塊化（需要考慮更大的單元）
• 工具（希望新語言能夠?qū)τ诠ぞ唛_發(fā)有所幫助）
• 可擴展性（語言的設(shè)計具備很好的可擴展性，以支持其上的二次開發(fā)，而不需要去修改語言本身的設(shè)計）
  ...

當(dāng)然還有其他一些可以討論的主題-語言設(shè)計其實堪比藝術(shù)品設(shè)計，有太多角度可以觀察了。

參考資料

1.https://www.tiobe.com/tiobe-index/
2.https://blogs.oracle.com/thejavatutorials/entry/jdk_8_is_released
3.https://en.wikipedia.org/wiki/List_of_JVM_languages
4.https://zeroturnaround.com/rebellabs/java-tools-and-technologies-landscape-2016/
5.http://www.oschina.net/translate/the-adventurous-developers-guide-to-jvm-languages
6.http://try.kotlinlang.org/#/Examples/Callable%20references/Composition%20of%20functions/Composition%20of%20functions.kt
7.http://www.itdecent.cn/p/ece917620dfd