神一样的编程语言？ -- 发现一个编程语言“shen”

无论如何，首先是这个编程语言的名字吸引了我，“shen”。它的logo也很有趣：

 . | | | | | | |||||| .   

一开始我还以为是某位中国大神的巨作，光看logo就倍感亲切，后来发现原来是位外国人写的，他就是Mark Tarver博士。废话不说，下面是官方首页的简单介绍，有兴趣的可以自行深入探讨（也欢迎一起探讨）。

=======================

Shen是一个可移植的函数式编程语言，它提供了：

• 模式匹配
• 与λ演算的一致性
• 宏
• 可选的懒惰运算
• 静态类型检查
• 集成的Prolog
• 内置了编译器の编译器（compiler-compiler，大概是可以编译出编译器的编译器，这个比较有趣）
  

Shen具有函数式编程中最强之一的类型系统。
Shen使用精简过的Lisp命令集，而且被设计成可以实现高度的可移植性。 
“Shen”是中文中表示至高无上的精神的词，它同样表达了我们要实现可以在众多平台中运行的想法。

Shen的发布包含了源代码，而且绝对是免费的午餐（包括商业使用）。目前它在CLisp和SBCL下运行，Scheme和JavaScript将会在后面跟进。。。。

（代码例子 - 略）

=======================

.译毕.