Can you summarize the following document?
        
  Scala執行於Java平臺(Java虛擬機器),併相容現有的Java程式。它也能執行於CLDC配置的Java ME中。曾經有過另一.NET平臺的實現,不過該版本已被放棄。  Scala的編譯模型(獨立編譯,動態類載入)與Java和C#一樣,所以Scala程式碼可以呼叫Java類別館(對於.NET實現則可呼叫.NET類別館)。  Scala套件包括編譯器和類別館,以BSD許可證釋出。

  洛桑聯邦理工學院的Martin Odersky於2001年基於Funnel (平行計算)的工作開始設計Scala。Funnel是把函數語言程式設計思想和佩特里網相結合的一種程式語言。 Odersky之前工作於Java泛型和javac。Java平臺的Scala於2003年底/2004年初發布。.NET平臺的Scala釋出於2004年6月。該語言第二個版本,v2.0,釋出於2006年3月。  Scala 2.8的特性包括重寫的Scala容器庫、命名引數和預設引數、包物件,以及Continuation.  2012年1月,釋出版本2.9.1。  2012年4月,釋出版本2.9.2。

  2009年4月,Twitter宣佈他們已經把大部分後端程式從Ruby遷移到Scala,其餘部分也打算要遷移。  此外,Wattzon已經公開宣稱,其整個平臺都已經是基於Scala基礎設施編寫的。  瑞銀集團把Scala用於一般產品中。  Coursera把Scala作為伺服器語言使用。

  

  

  Scala是一種純物件導向的語言,每個值都是物件。物件的資料型別以及行為由類和特質描述。類抽象機制的擴充套件有兩種途徑。一種途徑是子類繼承,另一種途徑是靈活的混入機制。這兩種途徑能避免多重繼承的種種問題。

  Scala也是一種函式式語言,其函式也能當成值來使用。Scala提供了輕量級的語法用以定義匿名函式,支援高階函式,允許巢狀多層函式,並支援柯里化。Scala的case class及其內建的模式匹配相當於函數語言程式設計語言中常用的代數型別。  更進一步,程式設計師可以利用Scala的模式匹配,編寫類似正規表示式的程式碼處理XML資料。在這些情形中,列表推導式功能對編寫公式化查詢非常有用。  由於JVM不支援尾端遞迴,Scala也不能完全支援尾端遞迴優化。不過,Scala編譯器可以把某些簡單的尾遞迴優化成迴圈。  以下程式碼以函式式風格實現了快速排序演算法,可以與Erlang快速排序的例子做個比較:

  Scala具備型別系統,通過編譯時檢查,保證程式碼的安全性和一致性。型別系統具體支援以下特性:

  Scala的設計秉承一項事實,即在實踐中,某個領域特定的應用程式開發往往需要特定於該領域的語言擴充套件。Scala提供了許多獨特的語言機制,可以以庫的形式輕易無縫新增新的語言結構:  聯合使用以上兩個特性,使你可以定義新的語句而無須擴充套件語法也無須使用巨集之類的超程式設計特性。

  Scala使用演員模型作為其併發模型,Actor是類似執行緒的實體,通過郵箱發收訊息。Actor可以複用執行緒,因此可以在程式中可以使用數百萬個Actor,而執行緒只能建立數千個。在2.10之後的版本中,使用Akka作為其預設Actor實現。 以下程式碼是使用Actor模式的EchoServer實現  Actor模式可以簡化併發程式設計,好利用多核CPU的能力。

  Lift是開源的Web應用框架,旨在提供類似Ruby on Rails的東西。因為Lift使用了Scala,所以Lift應用程式可以使用目前所有的Java庫和Web容器。

  以下是用Scala編寫的典型Hello World程式: 或 請注意它與Java的Hello World應用程式有哪些相似之處。一處顯著區別在於,Scala版的Hello World程式不通過static關鍵字把main方法標記為靜態方法,而是用object關鍵字建立了單件。  假設該程式儲存為HelloWorld.scala檔案,接下來可以通過以下命令列進行編譯:  若要執行:  這與編譯和執行Java的“Hello World”程式是不是很像呢?事實上,Scala的編譯和執行模型與Java是等效的,因而它也相容於Java的構建工具,比如Ant.  直接使用Scala直譯器也可以執行該程式,使用選項-i(從檔案載入程式碼)和選項-e(若要執行額外的程式碼,就得實際執行HelloWorld物件的方法)即可:

  以下是測試Scala程式碼的一些方式:  內建的Scala庫SUnit已經不贊成使用,已在2.8.0版中移除。
Scala()是一門多正規化的程式語言,設計初衷是要整合物件導向程式設計和函數語言程式設計的各種特性。