“Scala” 一個有趣的語言
本文摘選自博客：“Mike's World-O-Programming”，原文名為“Why Scala Is Interesting”全文如下：
常讀我的博客的人應該知道，我最喜歡的編程語言是Haskell。我喜歡函數式編程，Haskell是一個能把函數式編程推向極致的語言。雖然如此，我仍然時刻關注著其它新興的和即將產生的編程語言，特別是函數式的編程語言，所以，當Scala誕生之初我就知道了這種語言。當時，我粗略的對它了解了一下，并不是很喜歡；我感覺它的那些語法對于我的口味來說過于甜膩，而且這種語言看起來異常的復雜。然而，一些我很尊敬的人都喜歡這種語言，所以我就再次的看了看。我的評論并不是基于對這種語言的一個全面的了解之上，只是我通過幾周的閱讀和實驗得到的收獲。不管怎樣，我已經有足夠的認識來聲明，Scala是個有趣的語言，值得去研究，特別是當你有Haskell編程背景的情況下。我使用的是一本“階梯教程”(Programming In Scala by Odersky et al)，這本書寫的非常好，我全力的推薦大家讀一下。
我想學一種新的編程語言主要有兩個原因。一個是我想找一種跟目前我使用的語言不同的語言，我想尋找一種另外的編程體驗。另一個是我想找一種具有很多我從沒見過的有趣的新特征的語言。Scala的出現完全滿足了我的苛求。.
本質上來講，Scala是一種運行在JVM之上的語言，它很快，使用它我可以做圖形界面編程，web編程（用它的Lift框架），和移動設備編程（使用Android，我也知道讓Scala程序在Android上運行并不是一個很容易的事）。Scala在這些領域出現的時間比Haskell早的多。我期望Haskell能最終趕上，但是我現在就已經喜歡上了寫這些類型的程序了。
從理論的角度來看，Scala的訴求是靜態類型背景下的函數式編程和面向對象編程的組合。這可不容易做到。在動態語言里倒是容易些（例如Lisp使用CLOS），而靜態類型會使事情變得非常的復雜，尤其是子類型化和繼承方面。Haskell可部分的支持面向對象編程（特別是使用類型類和現有類型），但我在Haskell里沒有發現面向對象風格的繼承模型，盡管這是十分有用的。Scala有一個非常復雜的面向對象系統，還包括一些諸如顯式sub-和supertype標記，協方差(covariance)和反變(contravariance)標記,等等。這些都超越了我所見過的其它的面向對象的編程語言。實際上，Scala實現了把所有的函數性特征都作為對象，所以把它稱作一種對象-函數式語言并不準確，不如稱作為超級面向對象語言更合適。
我認為Scala的面向對象不是Haskell能比的；它是對于它的這種范式上的一個最佳案例。（我這里忽略掉了那些類型依賴的函數式語言，諸如Agda/Coq/Epigram，我知道它們，但基本上它們已經不再被當成一種用來做普通編程的語言了。）對于在靜態類型的環境中，是否對象已經超過函數變成一種更基礎的結構，我并不清楚。在動態類型語言中，你可以由函數得到對象（可以假設函數就是閉包），或者你可以由對象得到函數，所以兩種觀念是可以相互轉換的。不論這是不是一種使用靜態類型的案例，我想，用兩種語言從不同的方向來考慮這個問題是件很有趣的事情。另一方面，我曾學習過Smalltalk的面向對象特征，我不得不說，我從沒見過第二個靜態類型的語言具有Smalltalk這樣優雅的簡單消息傳輸模型。再一方面，我更希望用Scala而不是Smalltalk來寫一個大型程序。(并且，如果你真的想直接進行消息傳輸時，Scala也有Actors類庫來支持你。)
另一個Scala里我喜歡的東西，也是Haskell共有的東西，就是他們都有學院理論根源。當你在設計一種具有深奧的類型系統的語言時，了解一些類型理論會非常的有幫助。Scala和Haskell的設計者都清楚這一點，這也就是在這些語言里有很多高質量的特性的原因。我希望有一天那些把希曼式實用主義當作理論基礎的人會閉嘴，因為事實證明通過學院派設計出來的語言才是解決現實問題的上上之選。
我會一直關注著Scala，我希望能對它了解的更多。但我仍然喜歡Haskell，我從來不會打算放棄它。
原文地址：http://mvanier.livejournal.com/3395.html
【編輯推薦】
