揭秘九大前沿編程語言A

以下九種語言應該是每個程序員所關注的技術。它們并不是***的編程語言，有些甚至僅僅在專門項目應用上提供幫助。但這九種編程語言具備上升空間，是值得每一個開發人員研究和學習，或許有一天這些語言成為你的項目必不可少的。

Erlang語言：提供實時系統功能

Erlang是由瑞典電信設備制造商愛立信所轄的計算機科學研究室開發，目的是可以應付大規模開發活動的程序設計語言和運行環境。Erlang于1987年發布正式版本，erlang是函數式語言，提供了9個9的穩定性和超高并發并發性能，于1998年發表開放源代碼版本。

Erlang是運作于虛擬機的解釋型語言，在程序設計范型上，Erlang屬于多重范型編程語言，涵蓋函數式、并行及分布式。循序運行的Erlang是一個及早求值，單次賦值和動態類型的函數式編程語言。特別是在實時系統應用上，如移動電話交換機計費系統。

GO語言：簡單、動態

Go語言是谷歌2009發布源編程語言，專門針對多處理器系統應用程序的編程進行了優化，使用Go編譯的程序可以媲美C或C++代碼的速度，而且更加安全、支持并行進程。

編譯后Go代碼的運行速度與C語言非常接近,而且編譯速度非常快，就像在使用一個交互式語言。現有編程語言均未專門對多核處理器進行優化。Go就是谷歌工程師為這類程序編寫的一種語言。它不是針對編程初學者設計的，但學習使用它也不是非常困難。Go支持面向對象，而且具有真正的封裝和反射 等功能，可以被用于網絡服務器、存儲系統和數據庫中。

Groovy語言： Java編程的精華

Groovy是用于Java虛擬機的一種敏捷的動態語言，作為一種成熟的面向對象編程語言，既可以用于面向對象編程，又可以用作純粹的腳本語言。Groovy語言提供程序員來編寫簡單的程序，充分利用現有的Java代碼的能力。

構建在強大的Java語言之上并添加了從Python，Ruby和Smalltalk等語言中諸多特征，例如動態類型轉換、閉包和元編程支持。不僅如此，緊密聯系到Java JAR文件，Groovy的代碼運行像一個動態類型的腳本語言，可全面進入到靜態類型的Java對象的數據。

Ocaml語言：復雜數據層次“魔術師”

OCaml最早稱為Objective Caml，是Caml編程語言的主要實現，開發工具包含交互式頂層解釋器，字節碼編譯器以及***本地代碼編譯器。Ocaml有一個巨大標準庫，使得可以像Python或者Perl語言一樣可以方便地開發各種應用程序。

對于程序員來說，OCaml由編程語言社區努力推廣，并提供有目標的支持，自動內存管理和設備的便攜性。目前可從蘋果的App Store獲下載OCaml應用程序。通過OCaml語言的應用特性，可以建立一個教代數的網站。

#p#

揭秘九大前沿編程語言B

CoffeeScript：JS轉譯語言

CoffeeScript并非一種語言，受到Ruby、Python與Haskell等語言的啟發，增強了JavaScript的簡潔性與可讀性的轉譯器。同時新增更復雜的功能，例如列表內涵、模式匹配等。使用CoffeeScript可以體會編程泛型的表達方式，減少逗號、括弧這些只是增強表達能力的一些副作用。

Scala語言：運行JVM上函數程序

Scala運行在JVM上，兼容現有的Java程序，集成面向對象編程和函數式編程的各種特性。Scala也是一種函數式語言，其函數也能當成值來使用。Scala提供了輕量級的語法用以定義匿名函數，支持高階函數，允許嵌套多層函數，并支持柯里化。Scala的case class及其內置的模式匹配相當于函數式編程語言中常用的代數類型。

Scala還包含了若干函數式語言的關鍵概念，包括高階函數(Higher-Order Function)、局部套用(Currying)、嵌套函數(Nested Function)、序列解讀(Sequence Comprehensions)等。Scala是靜態類型的，這就允許它提供泛型類、內部類、甚至多態方法(Polymorphic Method)。另外值得一提的是，Scala被特意設計成能夠與Java和.NET互操作。

Dart語言：非JS的JavaScript

Dart從設計之初就為配合現代web整體運作而考慮，開發團隊也在持續改進Dart向JavaScript轉換的快速編譯器。JavaScript適用于為網頁新增基本的交互性，但如果面對成千上萬行代碼弱點顯而易見。谷歌設計Dart這門新語言的緣由，Dart與 JavaScipt雙管齊下，用于優化Web編程開發。

Dart與JavaScript相似，用到了類似于C語言的語法和關鍵詞。最明顯的區別在于JavaScript是一種基于原型的編程語言，而Dart和C++、Java類似，需要使用類和接口來聲明對象。開發人員可以選用Dart來聲明靜態類型的變量，與JavaScript相比，HTML5開發者們嘗試一下Dart語言在WEB編寫代碼的速度上更勝一籌。

Haskell語言：簡單純粹的函數編程

對于有20年的發展，Haskell語言是一種標準化的，通用純函數式編程語言，有非限定性語義和強靜態類型。作為函數式編程語言，主要控制結構是函數，具有“證明即程序、命題為類型”的特征。社區在宣傳時一直是將其定位為一門通用程序設計語言的。Haskell是一種程序語言。特別是多態類型，懶惰的，純的函數式語言，與大多數其它編程語言不同。 該語言被命名為Haskell Brooks Curry。它是以數學邏輯為基礎的函數式語言，基于lambda演算。

Julia語言

Julia語言：更快速度的Python

科學計算傳統上需要***的性能，但是領域內的專家們在日常工作中更多的會選擇慢一些的動態語言。現代語言設計和編譯器技術使目標成為可能：***化的消除性能抉擇和為原型設計(prototyping)提供一個富有成效的單一環境并且足夠有效率的來運用性能加強的應用。面向科學計算的高性能動態高級程序設計語言，像Python般通用Julia編程語言扮演這個角色：靈活的動態語言，科學和數值計算方面的優異表現，以及比得上傳統靜態類型語言的優異性能。

Julia的特性包括可選的輸入，多重分派(Multiple dispatch)和優異性能，實現了使用類型推斷和JIT(just-in-time)編譯，使用LLVM執行。它采用多范式的，命令式的特征組合，函數化的并且面向對象的編程方式。同時Julia保持了MATLAB在高水平數值計算方面的輕松表現，但突破在一般編程上的局限，不僅建立在數學編程語言上的血統，而且借鑒了流行的動態語言如Lisp, Perl, Python, Lua和Ruby的優點。