过去五年出现的新程序语言

Google的Go语言和Dart语言备受瞩目，但它们只不过是过去几年涌现出的十多种新语言之一，软件架构师Fogus在他的博客上介绍了过去五年出现的新程序语言。除了Go和Dart外，这些语言还包括了：基于函数语言Qi的Shen语言，自动定理证明程序语言Agda 2，Pure，动态、强类型、基于原型的语言Ioke，OMeta，CoffeeScript，Clojure，Scratch，Fortress，Arc，Potion，Mirah等等。