atitit.高級編程語言的特性 and 將來趨勢與進化.doc

Scala是靜態類型的。許多人會把vals="ABC"這樣的看成動態類型特性，而vals:String="ABC"才認爲是靜態類型特性。實際上，這無關類型爭論，而是類型系統實現的範疇。是的，在Scala裏，你能夠放心大膽地使用vals="ABC"，而Scala裏強大的類型推斷和模式匹配，絕對會讓你愛不釋手。

2.6 面向天然語言仍是簡單的??

Cobol,ada的強壯的理解性…普通的的人們能理解的..

大部分情形哈,仍是簡單的特性ok…而個的java取代了cobol,ada..

2.7 抽象能力

抽象能力應該是現階段語言進化的第一優先級，抽象手段無非函數式、過程式和麪向對象三種，看計算機語言的流行歷史，不難看出函數式=>過程式=>面向對象=>函數式迴歸這樣的規律。Lisp一直在學術界評價頗高，可是其商業應用一直低迷，其抽象能力比較弱一直是個重要的緣由。

2.8 刪除語法噪音

2.8.1 語法噪音

語言除了功能和設計，「長相」也是很重要的。這裏要提到一個語法噪音的概念，好比JS裏面的function，相比lambda表達式，這個噪音就多了

arr.some(function(x){ return x<2});

而C#裏面能夠這麼寫：

arr.some(x=>x<2);

這裏面，function關鍵字，return關鍵字，各類符號，其實實際意義都不大，由於JS語法設計，而必需要加上，這就是一種噪音。

有趣的是，向python這樣的語言對於「去噪」的追求達到了極致，甚至不惜用空白作標誌幹掉花括號，這個作法致使了其譭譽參半，喜歡的人特別喜歡，不喜歡的人特別討厭。

2.9 強大ide,vm

2.10 Gc 垃圾收集

目前許多語言均可以自動垃圾收集。。可是隻是內存。。

數據庫，網絡，以及磁盤io鏈接任然有泄露的可能。。

2.11 Vm 平臺化

2.12 數據與結構分離仍是緊密集合？？？

儘量的分離爲好。

程序和數據也不該該被分開。由於現代數據操做和模塊化的基礎是並行程序（parallelism），而有效實現並行的基礎是程序的first-class表達，也就是把程序做爲一種基本數據類型。

2.13 異步api

2.14 安全api

閉包、多個返回值

2.15 庫與語法融合

庫與語法融合在了一塊兒。咱們能夠看到在Java中對字符串String對象的操做能夠簡單地使用操做符+、+=進行操做。然而String自己並非關鍵字，可是可被編譯器識別。由於你換成其它對象可能就沒法用這些操做符來進行操做了。而對String類的實現自己可用一個用Java編寫的相對獨立的庫進行實現。

其實將語法體系與語言自帶標準庫綁定仍是有很多好處的。首先，這容易被擴展，開發者能夠根據本身的需求來自定義某些語法的行爲。其次，對編譯器而言能夠減輕壓力。某些運行時行爲能夠交給標準庫進行實現。這樣，編程語言能夠比較方便地被打形成比較完備的語法體系。這種耦合也加強了編程語言的運行時能力，包括靈活性、可擴展性。