当你只有一副螺栓切割器和一瓶伏特加时，所有的东西都看起来像Wolf Blitzer船屋门上的锁。（如果你不读xkcd，请用一把锤子和一枚钉子代替）
我目前编程使用Clojure、Python、Java和PHP，所以我熟悉C和LISP语法以及空白符号。我了解命令式、函数式、不可变、面向对象编程(OOP)和一些类型系统等知识。现在我想学习更多！
哪些编程语言采用不同的方法，在实际工具选择或理论理解方面都很有用？
我不太想学习另一种函数式语言（Haskell）或另一种命令式OOP语言（Ruby），也不想练习无用的有趣语言，比如Brainfuck。
我自己发现的一个非常有趣的东西是基于单调栈的语言，比如Factor。
只有当我感觉自己理解了大部分概念并对所有问题都有答案时，我才想开始考虑我的个人偏好的玩具语言。
专家系统，CLIPS - 我总是推荐这个。如果您知道 Prolog，那么您可能会优势更高速，但它是一种非常不同的语言。
Frink - Frink 是一种通用语言，但它以其单位转换系统而闻名。我发现这种语言非常鼓舞人心，因为它不断努力成为最好的自己。另外......真的很有趣！
函数+可选类型，Qi - 您说您有一些类型系统的经验，但您是否具有“可削皮*类型系统的经验？没有人有......但他们应该。 Qi 在许多方面都类似于 Lisp，但其类型系统将使您大开眼界。
演员+容错性，Erlang - Erlang 的进程模型得到了很多关注，但其容错和热代码交换机制是改变游戏规则的。您将不会学到太多有关 FP 的东西，您在 Clojure 中不会学到，但其 FT 功能将使您想知道为什么更多的语言似乎无法做到这一点。
享受！
Prolog（用于统一/回溯等操作），Smalltalk（“所有事物都是消息”），Forth（逆波兰表示法，线程解释器等），Scheme（延续）如何？
虽然不是语言，但元对象协议艺术令人惊叹。
此外，整个主题足够深入，可以让人忙碌数年 ;)
来自Peter Norvig的网站：
“学习至少半打编程语言。包括一种支持类抽象（如Java或C++），一种支持函数抽象（如Lisp或ML），一种支持语法抽象（如Lisp），一种支持声明式规范（如Prolog或C++模板），一种支持协程（如Icon或Scheme）和一种支持并行性（如Sisal）的语言。”
我很惊讶，在经过六个月和数百次投票之后，竟然没有人提到SQL……
在类型作为定理/高级类型系统方面：Coq（我认为Agda也属于这个类别）。
Coq是一个嵌入到函数式编程语言中的证明辅助工具。
你可以编写数学证明并使用Coq帮助构建解决方案。 你可以编写函数并证明其属性。
它具有依赖类型，仅此就让我感到惊奇。一个简单的例子：
concatenate: forall (A:Set)(n m:nat), (array A m)->(array A n)->(array A (n+m))
这个函数的签名是将两个大小为n和m的A元素数组连接起来并返回一个大小为(n+m)的数组。如果函数没有返回指定的类型，它将无法编译通过！
Coq基于归纳构造的微积分理论，并且有坚实的理论支持。我不够聪明，无法完全理解，但我认为值得一看，特别是如果你对类型理论感兴趣。
编辑：需要强调的是，您可以在Coq中编写一个函数，然后可以证明该函数对于任何输入都是正确的，这真是太神奇了！
我对一种具有非常不同观点的语言（包括定义语言元素的新词汇和根本性的语法差异）感兴趣，这种语言是J。虽然Haskell是一种函数式语言，但它的类型系统和其他独特的特性可以开阔你的思路，使你重新思考（函数式）编程中以前的知识。
你已经学习了很多编程语言。现在是时候专注于一种语言，并将其掌握。
就像 Fogus 在他的列表中建议过一样，我也建议您看看 OzML/Mozart 这种语言。它支持多种编程范式，主要针对并发/多代理编程。
关于并发和分布式计算，与 Lambda 演算（函数式编程背后的演算）相当的是 Pi Calculus。
我只开始研究 Pi Calculus 的一些实现。但它们已经扩大了我的计算概念。