1.4　Scala寻根

Scala的设计受到许多编程语言的和编程语言研究领域的概念的影响。事实上，Scala只有很少的几个特性是原创的，大部分特性都在其他语言中实现过。Scala的创新在于将这些语法概念有机地结合在一起。本节将列出对Scala设计有重大影响的语言和观念。这份清单不可能做到完整（在编程语言领域，各种聪明有趣的点子实在是太多了）。

在表层，Scala借鉴了大部分来自Java和C#的语法，而这些语法特征大部分也是从C和C++沿袭下来的。表达式、语句和代码块跟Java几乎一致，类、包和引入的语法也基本相同。[16]除了语法，Scala还用到了Java的其他元素，比如基本的类型、类库和执行模型等。

除此之外，Scala也吸收了很多来自其他语言的影响。Scala采用的统一对象模型由Smalltalk开创，由Ruby发扬光大。Scala的统一嵌套机制（Scala几乎所有语法结构都支持嵌套）也同样出现在Algol、Simula，近期Beta和gbeta也引入了类似机制。Scala方法调用的统一访问原则和对字段的选取方式来自Eiffel。Scala的函数式编程实现方式跟ML家族的语言（包括SML、OCaml、F#等）也很神似。Scala类库的许多高阶函数（higher-order function），在ML和Haskell中也有。Scala的隐式参数是为了做到Haskell的type class的效果，它们实现了类似在传统的面向对象语境当中对于“同一类对象”的那种抽象。而Scala基于actor模型的核心并发库，Akka，在很大程度上受到Erlang的启发。

Scala并不是首个强调伸缩性和扩展性的语言。支持不同应用领域的可扩展编程语言，可以追溯到Peter Landin于1966年发表的论文，《未来的700种编程语言》[17]（这篇论文中提到的编程语言Iswim跟Lisp并列，是函数式编程语言的先驱）。具体到使用中缀（infix）操作符作为函数的想法，可以在Iswim和Smalltalk中找到影子。另一个重要的理念是允许函数字面量（或代码块）作为参数，以支持自定义控制结构。这个特性也可以追溯到Iswim和Smalltalk。Smalltalk和Lisp都支持灵活的语法来完整构建领域特定语言（domain-specific language）。通过操作符重载和模板系统，C++也支持一定程度的定制和扩展，但跟Scala相比，C++更为底层，其核心更多是面向系统级的操作处理。

Scala也不是首个将函数式和面向对象编程集成在一起的语言，尽管它很可能是这些语言当中在这个方向上走得最远的。其他将某些函数式编程的元素集成进面向对象编程（OOP）的语言有Ruby、Smalltalk和Python。在Java平台上，Pizza、Nice、Multi-Java（还有Java 8自己）都基于Java的内核扩展出函数式的概念。还有一些主打函数式的编程语言也集成了对象系统，比如OCamel、F#和PLT-Scheme。

在编程语言领域，Scala也贡献了自己的一些创新。比如它的抽象类型提供了跟泛型类型相比更加面向对象的机制，它的特质允许我们更灵活地组装组件，而它的提取器（extractor）提供了一种跟展示无关的方式来实现模式匹配。这些创新点在最近几年的编程语言大会和论文中也多有提及。[18]