现在主流语言有几大类：各种 OO, 各种 functional, C-like 厌倦了特性千篇一律... 这里说的非主流是，Tiobe index 前 20 甚至前 50 以外... 觉得有以下几个：
- APL: (a programing language 的缩写 -__-) 面向数组 (array-oriented, 和 R 一样), 使用各种 unicode 数学符号去简化编写。
- Factor: 后缀式 concatenative (没见过中译名，意思是可以用各种 point-free 的方法，也就是不用想新的变量名的方法，去构造新函数), 可以实现 0 括号，可以自定义 literal 语法。
- Newspeak: 和 self 不同，是回归了 class-based 的 smalltalk. 语法上没什么新鲜但一个愿景是去掉软件升级的版本化。但是文档中画饼过多而实例较少。
- Potion: trait based, 对象是数据，可以绑定和修改 trait (行为), 还有不少语法上的创意。可惜 _why 隐退写小说了...
ATS 还是 ML 系的啊
ATS is derived mostly from the ML and OCaml programming languages.
http://en.wikipedia.org/wiki/ATS_%28programming_language%29
Prolog 系的有个 Mercury
#13 楼 @luikore 之前学了一下 clojore，感觉太难，也不太适应 lisp 的语法，这次的 Scala 网络课程是Martin Odersky，Scala 之父上的课，追一下星吧。。
如果是开发 web 应用的话，推荐 chtml + grass-mud-horse 来做，很不错，全中文编程。
https://code.google.com/p/chtml/ https://code.google.com/p/grass-mud-horse/
教材也比较不错，极力推荐：
#19 楼 @greatghoul 看到这个，我笑翻了 chtml:
<如何做爱>
<头部>
<标题> 这是一个中文如何做爱文档的实例 </标题>
</头部>
<身体>
身体里面的内容会穿过GFW后在浏览器显示出来.
</身体>
</如何做爱>
草泥马语言 输出 1 到 10 十个数：
草草草泥马 马草草草泥草草草草泥泥马 草马草 泥马草泥 草草草泥草泥草马 泥马草草 草草草泥马 泥草草草 草马草 草草草泥草泥泥马 泥草草泥 马泥草草泥草草草泥草泥马 马草马草泥草草草草泥泥马 马草草草泥草草草泥草泥马 草马马 马马马
科学家发现在人类基因组 DNA 中，只有 3% 在起作用，另外 97% 的部分不包含任何遗传因子，对人类的进化没有任何明显影响，一些科学家将它们称作“垃圾 DNA”。然而，美国波士顿大学和哈佛大学医学院的专家们通过专门检测语言词频的“齐普夫定律”对垃圾 DNA 进行了检测，结果震惊地发现，它们竟完全符合某种神秘的语言标准！已故不久的英国诺贝尔医学奖获得者弗朗西斯·克里克生前相信，地球上拥有原始 DNA 的最早细菌应该来自外星球，这些“垃圾 DNA”可能就是隐藏某种外星文明信息的特殊编码语言。
