Scala复合但不复杂，简单却不容易

编者按：本文节选自华章科技出版的 《Kotlin核心编程》一书中的部分章节。

Scala是洛桑联邦理工大学的马丁（Martin Odersky）教授创造的一门语言。他也参与了Java语言的发展研究工作，在Java 5中引入的泛型就是他的杰作。事实上，在Java刚发布的时候，马丁教授就开始了Java的改良工作——他在JVM平台探索函数式编程，并发布了一个名为Pizza的语言，那时就支持了泛型、高阶函数和模式匹配。

然而，在随后的探索过程中，他渐渐发现Java是一门具有硬性约束的语言，在某些时候不能采用最优的方式来实施设计方案。因此，马丁教授和他的研究伙伴决定重新创造一门语言，既在学术上合理，同时也具备实用价值。这就是开发Scala的初衷。

学术和工业的平衡

Scala是一门非常强大的编程语言，正如它名字（Scalable，可拓展）本身一样，用Scala编程就像拥有了哆啦A梦的口袋，里面装满了各种编程语言特性，如面向对象、函数式、宏。

Scala不仅在面向对象方面进行了诸多的改良，而且彻底拥抱了函数式。因此Scala也吸引了函数式编程社区很多厉害的程序员，他们将函数式编程的思想注入Scala社区，如此将使用Scala进行函数式编程提高到了新的高度。

由于Scala设计者学院派的背景，以及Scala某些看似“不同寻常”的语法，使它在发展早期（甚至现在）经常被描述为“过于学院派”，以至于马丁教授在某次Scala大会的演讲时，自嘲“Scala真正的作用是将人引向了Haskell”。

然而，真实的Scala却是在不断地探索学术和实用价值两方面的平衡。不可否认的是：

• Scala已经成为大数据领域的热门语言，明星项目Spark就是用Scala开发的，还有很多其他知名的项目，如Akka、Kafka等。
• 越来越多的商业公司，如Twitter、PayPal、Salesforce都在大量使用这门语言。

另外，Scala也确实是一门有着较陡的学习曲线的语言，因为它强大且灵活，正如马丁教授所言，Scala相信程序员的聪明才智，开发人员可以用它来灵活选择语言特性。但学术和工业的平衡始终是一个难题，与Java严格标准相比，Scala的多重选择也常常因复杂而被人吐槽。

复合但不复杂

那么，Scala真的复杂吗？我们不知听了多少次类似这样的抱怨。在搞明白这个问题之前，我们需要先弄清楚到底什么是“复杂”。在英文中，复杂一词可以联想到两个单词：complex和complicated。实际上它们的含义截然不同，更准确地说，complex更好的翻译是“具有复合性”。

Nicolas Perony曾在Ted上发表过一次关于“复合性理论”的演讲。

什么是复合性？复合并不是复杂。一件复杂的事物是由很多小部分组成的，每一部分都各不相同，而且每一部分都在这个体系中有其自身的确切作用。与之相反，一个复合的系统是由很多类似的部分所组成的，而且（就是因为）它们之间的相互影响形成了一种宏观上一致的行为。复合系统含有很多互动的元素，它们根据简单的、个体的规则行动，如此导致新特征的出现。

马丁教授曾发表过一篇名为《简单还是复杂》的文章，表达过类似的观点。如果对搭积木这件事情进行思考，摩比世界提供了固定的方案，而乐高则提供了无穷的选择。然而，前者的零件种类和数量都比后者要多得的。类似的道理，编程语言可以依靠功能累加来构建所谓的语法，同样也可以通过简单完备的理论来发展语言特性。在马丁教授看来，Scala显然属于后者，它并不复杂，而且非常简单。

简单却不容易

事实上，函数式编程最明显的特征就是具备复合性。函数式开发做得最多的事情就是对需要处理的事物进行组合。如果说面向对象是归纳法，侧重于对事物特征的提取及概括，那么函数式中的组合思想则更像是演绎法，近似于数学中的推导。

“简单”的哲学也带来了相应的代价：

• 这是一种更加抽象的编程范式，诸如高阶类型、Typeclass等高级的函数式特性虽然提供了无比强大的抽象能力，但学习成本更高。
• 它建立了另一种与采用Java面向对象编程截然不同的思维模式。这种思维方式上的巨大差异显然是一个极高的门槛，同时也是造成Scala令人望而却步的原因之一。

Scala在选择彻底拥抱函数式的同时，也意味着它不是一门容易的语言，它无法成为一门像Java那样主流的编程语言。事实上，即使很多人采用Scala来进行开发，也还是采用类似Java的思维模式来编程。换句话说，Scala依旧是被当作更好的Java来使用的，但这确实是当今主流编程界最大的诉求。

在这种背景下，Kotlin作为一门JVM平台上新兴的编程语言，悄悄打开了一扇同样广阔的大门。

图书简介：https://item.jd.com/12519581.html?dist=jd