10個比較冷門但很實用的編程語言

Rust

由Mozilla Research支持的Rust專註於「類型安全性、內存安全性、併發性與性能」。大家可以利用Rust構建起分散式客戶端-伺服器應用及可靠的系統級程序。雖然由於誕生時間不長而尚未受到廣泛關注，但我們相信Rust一定擁有光明的發展前景。

二

它是由Facebook開發的新編程語言，是基於Hip-Hop（簡稱HHVM）開發的，同時結合了動態類型語言（如PHP語言）和靜態類型語言（如C語言）兩種特點的一種編程語言，利用Hack，大家能夠快速構建起複雜的網站，且無需編譯即可運行，這種靜態類型語言允許用戶使用動態編碼方式，儘管其在社交網路上已經引起關注，但目前Hack的使用範圍仍然不廣。

三

Ada擁有眾多強大的特性，例如「按需擴展、避免命名空間污染、數據抽象與信息隱藏語義、可復用性、併發支持、方法中立性、實時支持以及關鍵性安全支持」等靈活優勢。不過必須承認，Ada仍未能廣泛流行。

四

Haskell是一種「純函數」編程語言，其設計中處處可見懶惰、靜態類型與類型推斷的痕迹。除了簡單且優雅的語法，Haskell的速度也絕對令人驚喜。事實上，它的人氣要比大家印象中更高——ABN AMRO利用其構建投資銀行相關程序，而ASIC與FPGA設計軟體廠商Bluespec則利用其開發自家產品。

五

由愛立信計算機科學實驗室開發的Erlang可作為開源代碼自由使用，支持多線程並與Java一樣使用虛擬機機制——但與Java不同的是，Erlang面向嵌入式系統及強大的伺服器。Erlang開發出的知名成果包括Facebook chat。有些人認為Erlang的語法比較奇怪，但其仍然非常適用於某些任務，並能夠較好地適應普遍性需求。

六

Racket屬於基於Lisp/Scheme的多範式語言。其設計目標之一在於創建、設計及實現其它編程語言。Racket指南的表述非常清晰且組織極為完善。其語法非常簡單; 其屬於無類型語言，且提供大量用於教學的庫及語言。事實上，我也不明白為什麼Racket未能真正流行起來。

七

這是一種相對較新的語言。其具備一套原型設計對象模型，且擁有能夠快速上手的語法設置。支持者認為這是一種堪稱偉大的通用型編程語言，當然也許新元素太多阻止了其得到廣泛認可。

八

Apache Groovy是一種可選類型的動態語言，且面向Java平台。這一面向對象語言可作為腳本化語言或者通過編譯方式使用。人們往往將其稱為「java的一套超集」。其特性包括平穩的學習曲線、緊湊的語法、單元測試支持能力、動態類型與域特定語言、強大的處理能力以及易於上手的Web應用開發機制。這款語言由於推廣不力而未受開發者的應有重視，但TIOBE指數表示其人氣已經達到Scala的三倍。

九

由麻省理工媒體實驗室開發的Scratch專門面向8到16歲的兒童編程學習者。其不具備典型語法。開發團隊指出，「這使其比其它語言更易於修改、更具實際意義且更有社交特性。」此語言免費、可視且非常適合用於開發遊戲及動畫。

十

曾幾何時，谷歌Dart被廣泛視為繼JavaScript之後最適用於Web開發的語言。遺憾的是，Dart一直未能超越JS，而谷歌則利用CoffeeScript（Dart到JavaScript編譯器）對其進行了重塑。降了谷歌之外，Dart的用戶還包括Blossoms與Workiva等。儘管Dart在谷歌內部擁有崇高地位，但其在外部世界中的人氣確實不高。