附录4 Java编程简史

从GOTO到OOP

在20世纪60年代，软件曾出现过严重危机，由软件错误而引起的信息丢失、系统报废事件屡有发生。为此，1968年，荷兰E.W.Dijkstra提出了程序设计中常用的GOTO语句的三大危害：

破坏了程序的静动一致性；
程序不易测试；
限制了代码优化。

此举引起了软件界长达数年的论战，并由此产生了结构化程序设计方法，同时诞生了基于这一设计方法的程序设计语言Pascal。

由瑞士Niklaus Wirth开发的Pascal，具备优秀的数据结构和控制结构，为程序员提供了极大的方便性与灵活性，大受欢迎。笔者中学时候，第一门启蒙语言就是Pascal。至今还清晰记得那台式屏幕上蓝色的Turbo Pascal界面，闪烁着白色的代码的场景。

结构化程序设计思想采用了模块分解与功能抽象和自顶向下、分而治之的方法，从而有效地将一个较复杂的程序系统设计任务分解成许多易于控制和处理的子程序，便于开发和维护。因此，结构化方法迅速走红，并在整个20世纪70年代的软件开发中占绝对统治地位。

但是，到了70年代末期，随着计算机科学的发展和应用领域的不断扩大，对计算机技术的要求越来越高。结构化程序设计语言和结构化分析与设计已无法满足用户需求的变化，于是面向对象编程（OOP）技术随之而来。 面向对象程序设计在未来的软件开发领域引起了大的变革，极大地提高了软件开发的效率。

Java简史

Java语言由当时在Sun Microsystems上班的詹姆斯·高斯林（James Gosling）等人于1990年代初开发。

Java伴随着互联网的迅猛发展而发展，逐渐成为最重要的网络编程语言之一。下图是来自TIOBE编程语言社区的语言排行(TOP20, 2017.3)和占比趋势(2002- )[1]：

下面是一张反应Java发展简史的表格：

JVM上的语言家族

大部分人大谈特谈JAVA语言，这对于我来说也许听起来很奇怪，但是我无法不去在意。JVM才是Java生态系统的核心啊。(James Gosling, Java编程语言的创造者 (2011, TheServerSide))

JVM最初是为了支持java编程语言。然而，随着时间的流逝，越来越多的语言被改编或设计运行在JVM上。除了java语言，比较知名的JVM上的编程语言还有：

Groovy

“Groovy有超过Java将能够提供的甜点,例如它具有轻易地在宿主程序中嵌入并编译，以提供定制业务规则的能力，还有它如何为领域特定语言（Domain-Specific Language）提供优雅，简洁并且可读性好的语法的能力.” ( Guillaume Laforge, Groovy的项目带头人)

动态类型和脚本语言（尽管一开始是一种动态语言，但在其 2012年的2.0发行版中也开始加入编译时的静态类型检查了），Groovy的闭包(Closure)是很好的。Groovy使得运行时的元编程、编译时的元编程、动态类型以及静态类型容易处理。

关键词： DSL，Grails，Gradle

Scala

“意在使其端正,而不塞入太多的语言特性到其里面,我在Scala上专注于使它变得更加的简单.那是人们常常有的一种误解,他们认为Scala是一种带有许许多多特性的宏大语言.尽管这通常不是真的.它实际上是一个相当小的语言——当Java8面世之时它将比Java更加的小巧。” (Martin Odersky, Scala 创始人)

使用类型推断混合了面向对象编程（OOP）和函数式编程（FP）的一种静态类型编程语言。这意味着Scala程序能够被编写成许多完全不同的风格——纯函数式风格的，不纯函数式的，或混合式风格。

关键词：FP，类型系统

Kotlin

“我们认为Kotlin的定位是一种现代化工业语言：它专注于代码重用和可读性的弹性抽象，以及面向早期错误侦测，和明确捕获维护与清理的意图，这些问题的静态类型安全性。Kotlin最重要的使用场景之一是对于一个庞大的Java代码库，其开发者需要一个更棒的语言：你能够将Java和Kotlin自由混合，迁移可以是渐进式的，不需要一下子对整个代码库进行改变。” (Andrey Breslav, Kotlin创始人)

静态类型的语言, 由IntelliJ IDEA团队JetBrains开发。

使用Kotin可以写出一些非常优雅的代码。举个复合函数的例子[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)) }
}

关键词：IDEA，优雅

Clojure

“我着手创建一种语言,意在应对我在使用Java和C#编写的一些类型的应用程序——像广播自动化、调度以及选举系统之类那些东西——它们许多都需要解决的并发问题.我发现只用面向对象编程和用那些语言的并发方法,对于处理这些类型的问题并不怎么够好——它们太难了。我是List的拥护者,还有其它的函数式语言,而我想要做的就是解决那些问题,创造一种立足于实际的语言,再也不用拿Java来编程了.” (Rich Hickey, Clojure创始人在2009年InfoQ访谈)

动态类型语言，Lisp方言。Clojure是一种非常类似于Lisp和Scheme的函数式编程语言.函数式范式同那些习惯于Java的面向对象方式并且习惯于其副作用的方式非常不同。

关键词： Lisp，FP

JVM语言时间轴概览[5]：

用哪种 JVM 语言？

使用哪种语言，完全依赖程序员的性情了。但是在项目，工作中“应该使用”哪种语言，往往会有诸多限制。

RebelLabs《Java工具和技术概览2014》[4]的报告上“要去学习的下一个JVM语言”：

RebelLabs《Java工具和技术概览2016》[4]的报告上的“你最常使用的JVM上的语言”：

以上仅供参考。

参考资料

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