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

Erlang語言：提供實時系統功能(néng)

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

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

GO語言：簡單、動态

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

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

Groovy語言： Java編程的精華

Groovy是用于Java虛拟機(jī)的一(yī)種敏捷的動态語言，作為(wèi)一(yī)種成熟的面向對象編程語言，既可以用于面向對象編程，又(yòu)可以用作純粹的腳本語言。Groovy語言提供程序員(yuán)來編寫簡單的程序，充分利用現有的Java代碼的能(néng)力。

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

Ocaml語言：複雜(zá)數據層次“魔術(shù)師(shī)”

OCaml最早稱為(wèi)Objective Caml，是Caml編程語言的主要實現，開(kāi)發工(gōng)具包含交互式頂層解釋器(qì)，字節碼編譯器(qì)以及最優本地代碼編譯器(qì)。Ocaml有一(yī)個(gè)巨大标準庫，使得可以像Python或者Perl語言一(yī)樣可以方便地開(kāi)發各種應用程序。

對于程序員(yuán)來說，OCaml由編程語言社區努力推廣，并提供有目标的支持，自(zì)動内存管理和設備的便攜性。目前可從(cóng)蘋果的App Store獲下(xià)載OCaml應用程序。通(tōng)過OCaml語言的應用特性，可以建立一(yī)個(gè)教代數的網站。

CoffeeScript：JS轉譯語言

CoffeeScript并非一(yī)種語言，受到(dào)Ruby、Python與Haskell等語言的啓發，增強了JavaScript的簡潔性與可讀(dú)性的轉譯器(qì)。同時新增更複雜(zá)的功能(néng)，例如列表内涵、模式匹配等。使用CoffeeScript可以體會(huì)編程泛型的表達方式，減少逗号、括弧這些隻是增強表達能(néng)力的一(yī)些副作用。

Scala語言：運行JVM上(shàng)函數程序

Scala運行在JVM上(shàng)，兼容現有的Java程序，集成面向對象編程和函數式編程的各種特性。Scala也是一(yī)種函數式語言，其函數也能(néng)當成值來使用。Scala提供了輕量級的語法用以定義匿名函數，支持高(gāo)階函數，允許嵌套多(duō)層函數，并支持柯裡(lǐ)化。Scala的case class及其内置的模式匹配相(xiàng)當于函數式編程語言中常用的代數類型。

Scala還(hái)包含了若幹函數式語言的關鍵概念，包括高(gāo)階函數(Higher-Order Function)、局部套用(Currying)、嵌套函數(Nested Function)、序列解讀(dú)(Sequence Comprehensions)等。Scala是靜(jìng)态類型的，這就(jiù)允許它提供泛型類、内部類、甚至多(duō)态方法(Polymorphic Method)。另外值得一(yī)提的是，Scala被特意設計成能(néng)夠與Java和.NET互操作。

Dart語言：非JS的JavaScript

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

Dart與JavaScript相(xiàng)似，用到(dào)了類似于C語言的語法和關鍵詞。最明顯的區别在于JavaScript是一(yī)種基于原型的編程語言，而Dart和C++、Java類似，需要使用類和接口來聲明對象。開(kāi)發人員(yuán)可以選用Dart來聲明靜(jìng)态類型的變量，與JavaScript相(xiàng)比，HTML5開(kāi)發者們嘗試一(yī)下(xià)Dart語言在WEB編寫代碼的速度上(shàng)更勝一(yī)籌。

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

對于有20年(nián)的發展，Haskell語言是一(yī)種标準化的，通(tōng)用純函數式編程語言，有非限定性語義和強靜(jìng)态類型。作為(wèi)函數式編程語言，主要控制結構是函數，具有“證明即程序、命題為(wèi)類型”的特征。社區在宣傳時一(yī)直是将其定位為(wèi)一(yī)門(mén)通(tōng)用程序設計語言的。Haskell是一(yī)種程序語言。特别是多(duō)态類型，懶惰的，純的函數式語言，與大多(duō)數其它編程語言不同。 該語言被命名為(wèi)Haskell Brooks Curry。它是以數學邏輯為(wèi)基礎的函數式語言，基于lambda演算(suàn)。

值得你學習了解！揭秘九大前沿編程語言

Julia語言

Julia語言：更快速度的Python

科學計算(suàn)傳統上(shàng)需要最高(gāo)的性能(néng)，但是領域内的專家們在日常工(gōng)作中更多(duō)的會(huì)選擇慢(màn)一(yī)些的動态語言。現代語言設計和編譯器(qì)技(jì)術(shù)使目标成為(wèi)可能(néng)：最大化的消除性能(néng)抉擇和為(wèi)原型設計(prototyping)提供一(yī)個(gè)富有成效的單一(yī)環境并且足夠有效率的來運用性能(néng)加強的應用。面向科學計算(suàn)的高(gāo)性能(néng)動态高(gāo)級程序設計語言，像Python般通(tōng)用Julia編程語言扮演這個(gè)角色：靈活的動态語言，科學和數值計算(suàn)方面的優異表現，以及比得上(shàng)傳統靜(jìng)态類型語言的優異性能(néng)。

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