Scala語言設(shè)計概述
Scala的設(shè)計受許多編程語言和研究思想的影響。事實上,僅很少的Scala的特點是全新的;大多數(shù)都已經(jīng)被以另外的形式用在其他語言中了。Scala的革新主要來源于它是如何構(gòu)造并放在一起的浓镜。在這部分里溃列,我們羅列了對Scala設(shè)計的主要影響。列表并不全——因為圍繞著編程語言的設(shè)計有太多的好點子膛薛,沒辦法全都列舉在這里听隐。
Scala語言設(shè)計的“藍(lán)本”語言
在最表層,Scala采用了Java和C#語法的大部哄啄,而它們大部分借自于C和C++句法的改變雅任。表達(dá)式,句子和代碼塊多數(shù)和Java一樣咨跌,同樣還有類沪么,包和引用的語法。除語法之外锌半,Scala還采用了Java的其他元素禽车,諸如它的基本類型,類庫和它的執(zhí)行模式。
Scala也欠了其他語言的很多情殉摔。它的統(tǒng)一對象模型是由Smalltalk發(fā)起的州胳,之后又被Ruby發(fā)揚(yáng)光大。他的通用嵌套的思想(幾乎所有的Scala里的構(gòu)造都能被嵌套進(jìn)其他構(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不是第一種強(qiáng)調(diào)伸展性和擴(kuò)展性的語言剃浇。能夠橫跨不同應(yīng)用領(lǐng)域的可擴(kuò)展語言的歷史根源是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)被改造和擴(kuò)展的可伸展語言;與Scala相較搀罢,它是建在低層級蝗岖,更面向系統(tǒng)的內(nèi)核上。
Scala也不是第一個集成函數(shù)式和面向?qū)ο缶幊痰睦浦粒M管也許在這個方向上它走得最遠(yuǎn)抵赢。其他在OOP里集成了函數(shù)式編程的一些元素的包括Ruby,Smalltalk和Python唧取。在Java平臺上铅鲤,Pizza,Nice和Multi-Java都用函數(shù)式思想擴(kuò)展了類Java內(nèi)核枫弟。還有一些接受了對象系統(tǒng)的以函數(shù)式為主的語言邢享;OCaml,F(xiàn)#和PLT-Scheme是其中的例子淡诗。
Scala同樣也對編程語言領(lǐng)域貢獻(xiàn)了一些革新驼仪。舉例來說掸犬,它的抽象類型提供了對泛型類型來說更面向?qū)ο蟮奶娲奶刭|(zhì)允許靈活的控件組合绪爸,還有他的拆分器提供了獨立于表達(dá)的方式去做模式匹配湾碎。這些革新已在近年編程語言會議中闡述在論文里了。
本文節(jié)選自Martin Odersky奠货,Lex Spoon和Bill Venners所著介褥,Regular翻譯的《Programming in Scala》的第一章。
【相關(guān)閱讀】
喜歡Scala編程的四個理由
Scala融合面向?qū)ο蠛秃瘮?shù)概念的方法
[Scala的語言特性——可伸展的語言
](http://developer.51cto.com/art/200907/134865.htm)
學(xué)習(xí)Scala中的Case類
Groovy創(chuàng)始人:Java面臨終結(jié) Scala將取而代之