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

     Google 的 Go 语言和 Dart 语言备受瞩目，但它们只不过是过去几年涌现出的十多种新语言之一，软件架构师 Fogus 在他的博客上介绍了    <a href="/misc/goto?guid=4958194760664490764">过去五年出现的新程序语言</a>。    <p> 除了 Go 和 <a href="http://www.open-open.com/news/view/46e15e" target="_blank">Dart </a>外，这些语言还包括了：基于函数语言 <a href="/misc/goto?guid=4958194761420353354">Qi</a> 的 <a href="/misc/goto?guid=4958194762163348318">Shen 语言</a>，自动定理证明程序语言 <a href="/misc/goto?guid=4958194762906257945">Agda 2</a>，<a href="/misc/goto?guid=4958194763649769960">Pure</a>，动态、强类型、基于原型的语言 <a href="/misc/goto?guid=4958194764396380691">Ioke</a>，OMeta，CoffeeScript，<a href="http://www.open-open.com/news/view/19b380e" target="_blank">Clojure</a>，Scratch，Fortress，Arc，Potion，Mirah 等等。<br /> <br /> <br /> 来自: <a id="link_source2" href="/misc/goto?guid=4958194765158152995" target="_blank">Solidot</a></p>