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

　　Google 的 Go 语言和 Dart 语言备受瞩目，但它们只不过是过去几年涌现出的十多种新语言之一，软件架构师 Fogus 在他的博客上介绍了过去五年出现的新程序语言。

　　除了 Go 和 Dart 外，这些语言还包括了：基于函数语言 Qi 的 Shen 语言，自动定理证明程序语言 Agda 2，Pure，动态、强类型、基于原型的语言 Ioke，OMeta，CoffeeScript，Clojure，Scratch，Fortress，Arc，Potion，Mirah 等等。