影響Scala語(yǔ)言設(shè)計(jì)的因素列表
Scala語(yǔ)言設(shè)計(jì)概述
Scala的設(shè)計(jì)受許多編程語(yǔ)言和研究思想的影響。事實(shí)上，僅很少的Scala的特點(diǎn)是全新的；大多數(shù)都已經(jīng)被以另外的形式用在其他語(yǔ)言中了。Scala的革新主要來(lái)源于它是如何構(gòu)造并放在一起的。在這部分里，我們羅列了對(duì)Scala設(shè)計(jì)的主要影響。列表并不全——因?yàn)閲@著編程語(yǔ)言的設(shè)計(jì)有太多的好點(diǎn)子，沒(méi)辦法全都列舉在這里。
51CTO編輯推薦：Scala編程語(yǔ)言專題
Scala語(yǔ)言設(shè)計(jì)的“藍(lán)本”語(yǔ)言
在最表層，Scala采用了Java和C#語(yǔ)法的大部，而它們大部分借自于C和C++句法的改變。表達(dá)式，句子和代碼塊多數(shù)和Java一樣，同樣還有類，包和引用的語(yǔ)法。除語(yǔ)法之外，Scala還采用了Java的其他元素，諸如它的基本類型，類庫(kù)和它的執(zhí)行模式。
Scala也欠了其他語(yǔ)言的很多情。它的統(tǒng)一對(duì)象模型是由Smalltalk發(fā)起的，之后又被Ruby發(fā)揚(yáng)光大。他的通用嵌套的思想（幾乎所有的Scala里的構(gòu)造都能被嵌套進(jìn)其他構(gòu)造）也出現(xiàn)在Algol，Simula，和最近的Beta與gbeta中。它的方法調(diào)用和字段選擇的統(tǒng)一訪問(wèn)原則來(lái)自于Eiffel。它函數(shù)式編程的處理方式在骨子里與以SML，OCaml和F#為代表的ML家族語(yǔ)言很接近。許多Scala標(biāo)準(zhǔn)庫(kù)里面的高階函數(shù)同樣也出現(xiàn)在ML或Haskell中。Scala的隱式參數(shù)靈感激發(fā)自Haskell的類型類；它們用一種更經(jīng)典的面向?qū)ο笤O(shè)定獲得了類似的結(jié)果。Scala的基于行動(dòng)類的并發(fā)庫(kù)幾乎全是Erlang的思想。
Scala語(yǔ)言設(shè)計(jì)：特點(diǎn)的繼承
Scala不是第一種強(qiáng)調(diào)伸展性和擴(kuò)展性的語(yǔ)言。能夠橫跨不同應(yīng)用領(lǐng)域的可擴(kuò)展語(yǔ)言的歷史根源是Peter Landin在1966年的論文“之后的700種編程語(yǔ)言” （這篇論文中描述的語(yǔ)言，Iswim，與Lisp一同為開(kāi)先河的函數(shù)式語(yǔ)言）。把前綴的操作符視為函數(shù)的特別的思想可以被回溯到Iswim和Smalltalk。另一個(gè)重要的思想是允許函數(shù)式文本（或代碼塊）作為參數(shù)，從而能讓庫(kù)定義控制結(jié)構(gòu)。同樣可以追回到Iswim和Smalltalk。Smalltalk和Lisp兩者都具有靈活的語(yǔ)法，廣泛應(yīng)用在建造內(nèi)嵌的領(lǐng)域特化的語(yǔ)言。C++是另一種能通過(guò)操作符重載和他的模板系統(tǒng)被改造和擴(kuò)展的可伸展語(yǔ)言；與Scala相較，它是建在低層級(jí)，更面向系統(tǒng)的內(nèi)核上。
Scala也不是第一個(gè)集成函數(shù)式和面向?qū)ο缶幊痰模M管也許在這個(gè)方向上它走得最遠(yuǎn)。其他在OOP里集成了函數(shù)式編程的一些元素的包括Ruby，Smalltalk和Python。在Java平臺(tái)上，Pizza，Nice和Multi-Java都用函數(shù)式思想擴(kuò)展了類Java內(nèi)核。還有一些接受了對(duì)象系統(tǒng)的以函數(shù)式為主的語(yǔ)言；OCaml，F(xiàn)#和PLT-Scheme是其中的例子。
Scala同樣也對(duì)編程語(yǔ)言領(lǐng)域貢獻(xiàn)了一些革新。舉例來(lái)說(shuō)，它的抽象類型提供了對(duì)泛型類型來(lái)說(shuō)更面向?qū)ο蟮奶娲奶刭|(zhì)允許靈活的控件組合，還有他的拆分器提供了獨(dú)立于表達(dá)的方式去做模式匹配。這些革新已在近年編程語(yǔ)言會(huì)議中闡述在論文里了。
本文節(jié)選自Martin Odersky，Lex Spoon和Bill Venners所著，Regular翻譯的《Programming in Scala》的第一章。
【相關(guān)閱讀】
