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

fmms 12年前
     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>