Scala是一種什么語(yǔ)言

Scala是什么？

Scala是一門現(xiàn)代的多范式語(yǔ)言，志在以簡(jiǎn)潔、優(yōu)雅及類型安全的方式來(lái)表達(dá)常用的編程模型。它平滑地集成了面向?qū)ο蠛秃瘮?shù)式語(yǔ)言的特性。

Scala是面向?qū)ο蟮?br/>鑒于一切值都是對(duì)象，可以說(shuō)Scala是一門純面向?qū)ο蟮恼Z(yǔ)言。對(duì)象的類型和行為是由類和特質(zhì)來(lái)描述的。類可以由子類化和一種靈活的、基于mixin的組合機(jī)制（它可作為多重繼承的簡(jiǎn)單替代方案）來(lái)擴(kuò)展。

Scala是函數(shù)式的
鑒于一切函數(shù)都是值，又可以說(shuō)Scala是一門函數(shù)式語(yǔ)言。Scala為定義匿名函數(shù)提供了輕量級(jí)的語(yǔ)法，支持高階函數(shù)，允許函數(shù)嵌套及柯里化。Scala的樣例類和內(nèi)置支持的模式匹配代數(shù)模型在許多函數(shù)式編程語(yǔ)言中都被使用。對(duì)于那些并非類的成員函數(shù)，單例對(duì)象提供了便捷的方式去組織它們。

此外，通過(guò)對(duì)提取器的一般擴(kuò)展，Scala的模式匹配概念使用了right-ignoring序列模式，自然地延伸到XML數(shù)據(jù)的處理。其中，for表達(dá)式對(duì)于構(gòu)建查詢很有用。這些特性使得Scala成為開發(fā)web服務(wù)等程序的理想選擇。

Scala是靜態(tài)類型的
Scala配備了一個(gè)擁有強(qiáng)大表達(dá)能力的類型系統(tǒng)，它可以靜態(tài)地強(qiáng)制以安全、一致的方式使用抽象。典型來(lái)說(shuō)，這個(gè)類型系統(tǒng)支持：

泛型類
型變注解
上、下 類型邊界
作為對(duì)象成員的內(nèi)部類和抽象類型
復(fù)合類型
顯式類型的自我引用
隱式參數(shù)和隱式轉(zhuǎn)化
多態(tài)方法
類型推斷讓用戶不需要標(biāo)明額外的類型信息。這些特性結(jié)合起來(lái)為安全可重用的編程抽象以及類型安全的擴(kuò)展提供了強(qiáng)大的基礎(chǔ)。

Scala是可擴(kuò)展的

在實(shí)踐中，特定領(lǐng)域應(yīng)用的發(fā)展往往需要特定領(lǐng)域的語(yǔ)言擴(kuò)展。Scala提供了一種語(yǔ)言機(jī)制的獨(dú)特組合方式，使得可以方便地以庫(kù)的形式添加新的語(yǔ)言結(jié)構(gòu)。

很多場(chǎng)景下，這些擴(kuò)展可以不通過(guò)類似宏（macros）的元編程工具完成。例如：

隱式類允許給已有的類型添加擴(kuò)展方法。
字符串插值可以讓用戶使用自定義的插值器進(jìn)行擴(kuò)展。
Scala的互操作性
Scala設(shè)計(jì)的目標(biāo)是與流行的Java運(yùn)行環(huán)境（JRE）進(jìn)行良好的互操作，特別是與主流的面向?qū)ο缶幊陶Z(yǔ)言——Java的互操作盡可能的平滑。Java的最新特性如函數(shù)接口（SAMs）、lambda表達(dá)式、注解及泛型類 在Scala中都有類似的實(shí)現(xiàn)。

另外有些Java中并沒(méi)有的特性，如缺省參數(shù)值和帶名字的參數(shù)等，也是盡可能地向Java靠攏。Scala擁有類似Java的編譯模型（獨(dú)立編譯、動(dòng)態(tài)類加載），且允許使用已有的成千上萬(wàn)的高質(zhì)量類庫(kù)。