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之前工作于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是一种纯面向对象的语言，每个值都是对象。对象的数据类型以及行为由类和特质描述。类抽象机制的扩展有两种途径。一种途径是子类继承，另一种途径是灵活的混入机制。这两种途径能避免多重继承的种种问题。
Scala也是一种函数式语言，其函数也能当成值来使用。Scala提供了轻量级的语法用以定义匿名函数，支持高阶函数，允许嵌套多层函数，并支持柯里化。Scala的case class及其内置的模式匹配相当于函数式编程语言中常用的代数类型（英语：Algebraic type）。
更进一步，程序员可以利用Scala的模式匹配，编写类似正则表达式的代码处理XML数据。在这些情形中，列表推导式功能对编写公式化查询非常有用。
由于JVM不支持尾调用，Scala也不能完全支持尾调用优化。不过，Scala编译器可以把某些简单的尾递归优化成循环。
以下代码以函数式风格实现了快速排序算法，可以与Erlang快速排序的例子做个比较：
def qsort(list: List): List = list match { case Nil => Nil case pivot :: tail => val(smaller, rest) = tail.partition(_ < pivot) qsort(smaller) ::: pivot :: qsort(rest)}