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

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語言的應用特性，可以建立一個教代數的網站。

Coffeescript：JS轉譯語言

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