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