揭秘九大前沿編程語言A

以下九種語言應(yīng)該是每個(gè)程序員所關(guān)注的技術(shù)。它們并不是***的編程語言，有些甚至僅僅在專門項(xiàng)目應(yīng)用上提供幫助。但這九種編程語言具備上升空間，是值得每一個(gè)開發(fā)人員研究和學(xué)習(xí)，或許有一天這些語言成為你的項(xiàng)目必不可少的。

Erlang語言：提供實(shí)時(shí)系統(tǒng)功能

Erlang是由瑞典電信設(shè)備制造商愛立信所轄的計(jì)算機(jī)科學(xué)研究室開發(fā)，目的是可以應(yīng)付大規(guī)模開發(fā)活動(dòng)的程序設(shè)計(jì)語言和運(yùn)行環(huán)境。Erlang于1987年發(fā)布正式版本，erlang是函數(shù)式語言，提供了9個(gè)9的穩(wěn)定性和超高并發(fā)并發(fā)性能，于1998年發(fā)表開放源代碼版本。

Erlang是運(yùn)作于虛擬機(jī)的解釋型語言，在程序設(shè)計(jì)范型上，Erlang屬于多重范型編程語言，涵蓋函數(shù)式、并行及分布式。循序運(yùn)行的Erlang是一個(gè)及早求值，單次賦值和動(dòng)態(tài)類型的函數(shù)式編程語言。特別是在實(shí)時(shí)系統(tǒng)應(yīng)用上，如移動(dòng)電話交換機(jī)計(jì)費(fèi)系統(tǒng)。

GO語言：簡單、動(dòng)態(tài)

Go語言是谷歌2009發(fā)布源編程語言，專門針對(duì)多處理器系統(tǒng)應(yīng)用程序的編程進(jìn)行了優(yōu)化，使用Go編譯的程序可以媲美C或C++代碼的速度，而且更加安全、支持并行進(jìn)程。

編譯后Go代碼的運(yùn)行速度與C語言非常接近,而且編譯速度非常快，就像在使用一個(gè)交互式語言。現(xiàn)有編程語言均未專門對(duì)多核處理器進(jìn)行優(yōu)化。Go就是谷歌工程師為這類程序編寫的一種語言。它不是針對(duì)編程初學(xué)者設(shè)計(jì)的，但學(xué)習(xí)使用它也不是非常困難。Go支持面向?qū)ο螅揖哂姓嬲姆庋b和反射 等功能，可以被用于網(wǎng)絡(luò)服務(wù)器、存儲(chǔ)系統(tǒng)和數(shù)據(jù)庫中。

Groovy語言： Java編程的精華

Groovy是用于Java虛擬機(jī)的一種敏捷的動(dòng)態(tài)語言，作為一種成熟的面向?qū)ο缶幊陶Z言，既可以用于面向?qū)ο缶幊蹋挚梢杂米骷兇獾哪_本語言。Groovy語言提供程序員來編寫簡單的程序，充分利用現(xiàn)有的Java代碼的能力。

構(gòu)建在強(qiáng)大的Java語言之上并添加了從Python，Ruby和Smalltalk等語言中諸多特征，例如動(dòng)態(tài)類型轉(zhuǎn)換、閉包和元編程支持。不僅如此，緊密聯(lián)系到Java JAR文件，Groovy的代碼運(yùn)行像一個(gè)動(dòng)態(tài)類型的腳本語言，可全面進(jìn)入到靜態(tài)類型的Java對(duì)象的數(shù)據(jù)。

Ocaml語言：復(fù)雜數(shù)據(jù)層次“魔術(shù)師”

OCaml最早稱為Objective Caml，是Caml編程語言的主要實(shí)現(xiàn)，開發(fā)工具包含交互式頂層解釋器，字節(jié)碼編譯器以及***本地代碼編譯器。Ocaml有一個(gè)巨大標(biāo)準(zhǔn)庫，使得可以像Python或者Perl語言一樣可以方便地開發(fā)各種應(yīng)用程序。

對(duì)于程序員來說，OCaml由編程語言社區(qū)努力推廣，并提供有目標(biāo)的支持，自動(dòng)內(nèi)存管理和設(shè)備的便攜性。目前可從蘋果的App Store獲下載OCaml應(yīng)用程序。通過OCaml語言的應(yīng)用特性，可以建立一個(gè)教代數(shù)的網(wǎng)站。

#p#

揭秘九大前沿編程語言B

CoffeeScript：JS轉(zhuǎn)譯語言

CoffeeScript并非一種語言，受到Ruby、Python與Haskell等語言的啟發(fā)，增強(qiáng)了JavaScript的簡潔性與可讀性的轉(zhuǎn)譯器。同時(shí)新增更復(fù)雜的功能，例如列表內(nèi)涵、模式匹配等。使用CoffeeScript可以體會(huì)編程泛型的表達(dá)方式，減少逗號(hào)、括弧這些只是增強(qiáng)表達(dá)能力的一些副作用。

Scala語言：運(yùn)行JVM上函數(shù)程序

Scala運(yùn)行在JVM上，兼容現(xiàn)有的Java程序，集成面向?qū)ο缶幊毯秃瘮?shù)式編程的各種特性。Scala也是一種函數(shù)式語言，其函數(shù)也能當(dāng)成值來使用。Scala提供了輕量級(jí)的語法用以定義匿名函數(shù)，支持高階函數(shù)，允許嵌套多層函數(shù)，并支持柯里化。Scala的case class及其內(nèi)置的模式匹配相當(dāng)于函數(shù)式編程語言中常用的代數(shù)類型。

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

Dart語言：非JS的JavaScript

Dart從設(shè)計(jì)之初就為配合現(xiàn)代web整體運(yùn)作而考慮，開發(fā)團(tuán)隊(duì)也在持續(xù)改進(jìn)Dart向JavaScript轉(zhuǎn)換的快速編譯器。JavaScript適用于為網(wǎng)頁新增基本的交互性，但如果面對(duì)成千上萬行代碼弱點(diǎn)顯而易見。谷歌設(shè)計(jì)Dart這門新語言的緣由，Dart與 JavaScipt雙管齊下，用于優(yōu)化Web編程開發(fā)。

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

Haskell語言：簡單純粹的函數(shù)編程

對(duì)于有20年的發(fā)展，Haskell語言是一種標(biāo)準(zhǔn)化的，通用純函數(shù)式編程語言，有非限定性語義和強(qiáng)靜態(tài)類型。作為函數(shù)式編程語言，主要控制結(jié)構(gòu)是函數(shù)，具有“證明即程序、命題為類型”的特征。社區(qū)在宣傳時(shí)一直是將其定位為一門通用程序設(shè)計(jì)語言的。Haskell是一種程序語言。特別是多態(tài)類型，懶惰的，純的函數(shù)式語言，與大多數(shù)其它編程語言不同。 該語言被命名為Haskell Brooks Curry。它是以數(shù)學(xué)邏輯為基礎(chǔ)的函數(shù)式語言，基于lambda演算。

Julia語言

Julia語言：更快速度的Python

科學(xué)計(jì)算傳統(tǒng)上需要***的性能，但是領(lǐng)域內(nèi)的專家們?cè)谌粘９ぷ髦懈嗟臅?huì)選擇慢一些的動(dòng)態(tài)語言。現(xiàn)代語言設(shè)計(jì)和編譯器技術(shù)使目標(biāo)成為可能：***化的消除性能抉擇和為原型設(shè)計(jì)(prototyping)提供一個(gè)富有成效的單一環(huán)境并且足夠有效率的來運(yùn)用性能加強(qiáng)的應(yīng)用。面向科學(xué)計(jì)算的高性能動(dòng)態(tài)高級(jí)程序設(shè)計(jì)語言，像Python般通用Julia編程語言扮演這個(gè)角色：靈活的動(dòng)態(tài)語言，科學(xué)和數(shù)值計(jì)算方面的優(yōu)異表現(xiàn)，以及比得上傳統(tǒng)靜態(tài)類型語言的優(yōu)異性能。

Julia的特性包括可選的輸入，多重分派(Multiple dispatch)和優(yōu)異性能，實(shí)現(xiàn)了使用類型推斷和JIT(just-in-time)編譯，使用LLVM執(zhí)行。它采用多范式的，命令式的特征組合，函數(shù)化的并且面向?qū)ο蟮木幊谭绞健Ｍ瑫r(shí)Julia保持了MATLAB在高水平數(shù)值計(jì)算方面的輕松表現(xiàn)，但突破在一般編程上的局限，不僅建立在數(shù)學(xué)編程語言上的血統(tǒng)，而且借鑒了流行的動(dòng)態(tài)語言如Lisp, Perl, Python, Lua和Ruby的優(yōu)點(diǎn)。