Scala
编程范型多范式:函数式,面向对象,命令式
设计者Martin Odersky英语Martin Odersky
实现者洛桑联邦理工学院编程方法实验室
发行时间2004年1月20日,​15年前​(2004-01-20
稳定版本2.12.0 ( 2016年11月3日,​2年前​(2016-11-03
类型系统静态,强,类型推断, 结构化英语Structural type system
实现语言Scala
系统平台JVM, JavaScript, LLVM (实验)
许可证BSD 3-clause
文件扩展名.scala, .sc
网站www.scala-lang.org
启发语言
Eiffel, Erlang, Haskell, Java, Lisp, Pizza英语Pizza (programming language), Standard ML, OCaml, Scheme, Smalltalk, Oz
影响语言
Ceylon英语Ceylon (programming language), Fantom英语Fantom (programming language), F#, Kotlin, Lasso英语Lasso (programming language), Red英语Red (programming language), Swift[来源请求]
  • 维基教科书中有关Scala的文本

Scala(发音为/ˈskɑːlə, ˈskeɪlə/)是一门多范式的编程语言,设计初衷是要集成面向对象编程和函数式编程的各种特性。

平台和许可证

Scala运行于Java平台(Java虚拟机),并兼容现有的Java程序。它也能运行于CLDC配置的Java ME中。曾经有过另一.NET平台的实现,不过该版本已被放弃。

Scala的编译模型(独立编译,动态类加载)与Java和C#一样,所以Scala代码可以调用Java类库(对于.NET实现则可调用.NET类库)。

Scala包包括编译器和类库,以BSD许可证发布。

历史

洛桑联邦理工学院的Martin Odersky于2001年基于Funnel英语Funnel (concurrent computing)的工作开始设计Scala。Funnel是把函数式编程思想和佩特里网相结合的一种编程语言。 Odersky之前工作于Generic Java英语Generic Java和javac。Java平台的Scala于2003年底/2004年初发布。.NET平台的Scala发布于2004年6月。该语言第二个版本,v2.0,发布于2006年3月。

Scala 2.8的特性包括重写的Scala容器库、命名参数和默认参数、包对象,以及Continuation.

2012年1月,发布版本2.9.1。

2012年4月,发布版本2.9.2。

使用Scala的软件

2009年4月,Twitter宣布他们已经把大部分后端程序从Ruby迁移到Scala,其余部分也打算要迁移。

此外,Wattzon英语Wattzon已经公开宣称,其整个平台都已经是基于Scala基础设施编写的。

瑞银集团把Scala用于一般产品中。

Coursera把Scala作为服务器语言使用。

特性

支持的编程范式

面向对象特性

Scala是一种纯面向对象的语言,每个值都是对象。对象的数据类型以及行为由类和特质描述。类抽象机制的扩展有两种途径。一种途径是子类继承,另一种途径是灵活的混入英语Mixin机制。这两种途径能避免多重继承的种种问题。

函数式编程

Scala也是一种函数式语言,其函数也能当成值来使用。Scala提供了轻量级的语法用以定义匿名函数,支持高阶函数,允许嵌套多层函数,并支持柯里化。Scala的case class及其内置的模式匹配英语Pattern matching相当于函数式编程语言中常用的代数类型英语Algebraic type

更进一步,程序员可以利用Scala的模式匹配,编写类似正则表达式的代码处理XML数据。在这些情形中,列表推导式英语List comprehension功能对编写公式化查询非常有用。

由于JVM不支持尾部递归,Scala也不能完全支持尾部递归优化。不过,Scala编译器可以把某些简单的尾递归优化成循环。

以下代码以函数式风格实现了快速排序算法,可以与Erlang快速排序的例子做个比较:

def qsort(list: List[Int]): List[Int] = list match {  case Nil => Nil  case pivot :: tail =>    val(smaller, rest) = tail.partition(_ < pivot)    qsort(smaller) ::: pivot :: qsort(rest)}

静态类型

Scala具备类型系统,通过编译时检查,保证代码的安全性和一致性。类型系统具体支持以下特性:

扩展性

Scala的设计秉承一项事实,即在实践中,某个领域特定的应用程序开发往往需要特定于该领域的语言扩展。Scala提供了许多独特的语言机制,可以以库的形式轻易无缝添加新的语言结构:

联合使用以上两个特性,使你可以定义新的语句而无须扩展语法也无须使用宏之类的元编程特性。

并发性

Scala使用Actor作为其并发模型,Actor是类似线程的实体,通过邮箱发收消息。Actor可以复用线程,因此可以在程序中可以使用数百万个Actor,而线程只能创建数千个。在2.10之后的版本中,使用Akka作为其默认Actor实现。以下代码是使用Actor模式的EchoServer实现

val echoServer = actor(new Act {  become {    case msg => println("echo " + msg)  }})echoServer ! "hi"

Actor模式可以简化并发编程,好利用多核CPU的能力。

使用Scala的框架

Lift是开源的Web应用框架,旨在提供类似Ruby on Rails的东西。因为Lift使用了Scala,所以Lift应用程序可以使用当前所有的Java库和Web容器。

Hello World范例

以下是用Scala编写的典型Hello World程序:

 object HelloWorld extends App {   println("Hello, world!") }

 object HelloWorld {   def main(args: Array[String]) {     println("Hello, world!")   } }

请注意它与Java的Hello World应用程序有哪些相似之处。一处显著区别在于,Scala版的Hello World程序不通过static关键字把main方法标记为静态方法,而是用object关键字创建了单件。

假设该程序保存为HelloWorld.scala文件,接下来可以通过以下命令行进行编译:

> scalac HelloWorld.scala

若要运行:

> scala -classpath . HelloWorld

这与编译和运行Java的“Hello World”程序是不是很像呢?事实上,Scala的编译和执行模型与Java是等效的,因而它也兼容于Java的构建工具,比如Ant.

直接使用Scala解释器也可以运行该程序,使用选项-i(从文件加载代码)和选项-e(若要运行额外的代码,就得实际执行HelloWorld对象的方法)即可:

> scala -i HelloWorld.scala -e 'HelloWorld.main(null)'

测试

以下是测试Scala代码的一些方式:

内置的Scala库SUnit已经不赞成使用,已在2.8.0版中移除。

www.zuoweixin.com
问题反馈联系QQ:暂无联系方式,也可发qq邮箱。