当您只有一对断线钳和一瓶伏特加酒时，一切看起来都像沃尔夫·布利策（Wolf Blitzer）船屋门上的锁一样。（如果您不阅读xkcd，请用锤子和钉子代替）
我目前正在编写Clojure，Python，Java和PHP，所以我对C和LISP语法以及空白很熟悉。我知道命令式，功能性，不变式，OOP和几个类型的系统以及其他东西。现在我想要更多！
什么语言采用不同的方法，并且对于选择实用工具或理论理解都将有用？
我不想学习另一种功能语言（Haskell）或另一种命令式OOP语言（Ruby），也不想练习像Brainfuck这样不切实际的有趣语言。
我发现自己很有趣的一件事是像Factor这样的基于单字符堆栈的语言。
只有当我觉得自己能理解大多数概念并回答所有问题时，我才想开始考虑自己的玩具语言以包含我的所有个人喜好。
Answers:
实用性是高度主观的，因此我只想简单地说，学习不同的语言范例只会使您成为一个更好的程序员。还有什么比这更实际的呢？
功能性，Haskell-我知道您说过您不想这样做，但您应该真正考虑一下。您已经使用Clojure甚至Python获得了一些功能方面的知识，但是如果没有Haskell，就不会充分体验它。如果您真的反对Haskell，则可以选择ML或OCaml作为妥协。
声明式，数据日志-许多人会在此位置推荐Prolog，但我认为Datalog是声明式语言的较干净的示例。
Array，J-我刚刚发现J，但是我发现它是一种令人赞叹的语言。它将使您的大脑变成椒盐脆饼。您将为此感谢J。
Stack，Factor / Forth -Factor非常强大，我打算尽快对其进行研究。Forth是Stack语言的祖父，此外，它很容易实现。关于通过实施进行学习，有话要说。
Oz数据流-我认为Oz的影响正在上升，并且只会在未来继续增长。
基于原型的JavaScript / Io /自我-自我是祖父，并且对每种基于原型的语言都具有很大的影响力。这与基于类的OOP不同，不应将其视为此类。许多人使用一种原型语言并创建了一个临时类系统，但是如果您的目标是扩大思维范围，那么我认为这是一个错误。充分利用语言。阅读无课程组织程序以获取想法。
CLIPS专家系统-我始终建议您这样做。如果您了解Prolog，那么您很有可能会上手，但是这是一种非常不同的语言。
Frink -Frink是一种通用语言，但以单位转换系统而闻名。我发现这种语言在不懈地追求最好的过程中非常令人鼓舞。另外...真的很有趣！
功能+可选类型，Qi-您说您曾经使用过某些类型系统，但是您是否有过“可滑动*类型系统”的经验？没有人……但是他们应该。类型系统会让您大吃一惊。
Actors + Fault-tolerance，Erlang -Erlang的过程模型引起了很多轰动，但其容错和热代码交换机制却改变了游戏规则。您不会像使用Clojure会学到的那样了解很多关于FP的知识，但是它的FT功能会让您想知道为什么更多的语言似乎无法正确解决这一问题。
请享用！
我第二个Haskell。不要以为“我知道Lisp，所以我知道函数式编程”。听说过类型课吗？代数数据类型？单子？“现代”（或多或少-至少没有50年的历史；））功能语言，尤其是Haskell，已经探索了许多非常有用的有用新概念。类型类增加了即席的多态性，但是类型推断（又是您已经知道的语言所不具备的另一种东西）的作用却很吸引人。代数数据类型简直棒极了，特别是对于树状数据结构建模，但对于枚举或简单记录也很有效。和monads ...好吧，我们只能说人们使用它们来以纯功能的方式来产生异常，I / O，解析器，列表推导等等。
另外，整个主题足够深入，足以使一个人忙几年了；）
我目前正在编写Clojure，Python，Java和PHP [...]哪些语言采用不同的方法，它们对于实用工具的选择或理论理解都是有用的？
C
周围有很多C代码-绝对是实用的。如果您也学习C ++，那么周围会有更多的代码（一旦您了解C和Java，飞跃就会很短）。
它还使您（或迫使您拥有）对一些理论问题的深刻理解；例如，从某种意义上讲，每个正在运行的程序都位于4 GB字节数组中。C中的指针实际上只是该数组的索引-它们只是另一种整数。除了隐藏在表面层之下之外，Java，Python和PHP都没有什么不同。
另外，您可以用C编写面向对象的代码，而您只需要对vtables之类的手册有所了解。西蒙·塔瑟姆（Simon Tatham）的Portable Puzzle Collection是一个相当容易访问的面向对象C代码的很好的例子。它的设计也相当好，值得初学者/中级C程序员阅读。这在Haskell中也发生了-在某种意义上，类型类“只是另一个vtable”。
关于C的另一件好事：与熟练的C程序员进行问答，将为您提供许多答案，这些答案从较低层次的结构方面解释了C，从而建立了您最基础的知识库。
我可能会遗漏OP的要点-我想我是根据其他答案来判断--但我认为这可能对其他有类似问题并阅读此主题的人来说是有用的答案。
在Peter Norvig的网站上：
“学习至少六种编程语言。包括一种支持类抽象的语言（如Java或C ++），一种支持功能抽象的语言（如Lisp或ML），一种支持语法抽象的语言（如Lisp），一种支持声明式语言。规范（例如Prolog或C ++模板），一种支持协程（例如Icon或Scheme），而另一种则支持并行性（例如Sisal）。
在定理/高级类型系统中：Coq（我认为Agda也属于此类）。
Coq是嵌入到功能编程语言中的证明助手。
您可以编写数学证明，Coq可以帮助您建立解决方案。您可以编写函数并证明其属性。
它具有依赖类型，仅此而已令我震惊。一个简单的例子：
concatenate: forall (A:Set)(n m:nat), (array A m)->(array A n)->(array A (n+m))
是将A的元素的大小为n和m的两个数组连接起来并返回大小为（n + m）的数组的函数的签名。如果函数不返回则不会编译！
基于归纳结构的演算，其背后有扎实的理论。我不够聪明，无法理解所有内容，但是我认为值得一看，特别是如果您趋向于类型理论。
编辑：我需要提一下：您在Coq中编写了一个函数，然后您可以证明它对任何输入都是正确的，这真是太棒了！
就像fogus在他的清单中向您建议的一样，我也建议您也看看OzML / Mozart语言的 许多范式，主要针对并发/多代理编程。
关于并发和分布式演算，Lambda演算的等效项（在函数式编程之后）称为Pi演算。
我才刚刚开始研究Pi演算的某些实现。但是他们已经扩大了我对计算的概念。
数据流编程（又名基于流的编程）是前进的重要一步。一些流行语：paralell处理，快速原型设计，可视化编程（不像听起来那么糟糕）。
维基百科的文章很好：
在计算机科学中，基于流的编程（FBP）是一种编程范例，将应用程序定义为“黑匣子”进程的网络，该进程通过消息传递在预定义的连接之间交换数据，其中连接是在进程外部指定的。这些黑匣子进程可以无限地重新连接以形成不同的应用程序，而无需在内部进行更改。因此，FBP自然是面向组件的。
阅读JPM的书：http：//jpaulmorrison.com/fbp/
（我们已经为家庭自动化目的用C ++编写了一个简单的实现，对此我们感到非常满意。文档正在建设中。）
布鲁斯·泰特（Bruce A. Tate）在《实用程序员》的专页上写了一本书，内容确切地是：《 七周内的七种语言：学习编程语言的实用指南》
在这本书中，他涵盖了Clojure，Haskell，Io，Prolog，Scala，Erlang和Ruby。
水星：http : //www.mercury.csse.unimelb.edu.au/
这是一种类型化的Prolog，具有唯一性类型和模式（即，指定谓词append(X,Y,Z)含义X附加到Y上的Z为Z，给定X和Y时产生一个Z，但对于给定Z可以产生多个X / Y）。同样，也没有剪切或其他逻辑外的谓词。
如果您愿意的话，就像Haskell对Lisp一样，这是Prolog。
对我来说，第一个数据库系统是dBaseIII，我花了大约一个月的时间编写了一些小示例（dBase / FoxPro / Clipper是基于表的具有索引的数据库）。然后，在我的第一个工作场所，我遇到了MUMPS，并且感到头痛。我还很年轻，头脑清醒，但是花了2周的时间才了解MUMPS数据库模型。有一段时间，就像在漫画中一样：两周后，打开了一个按钮，灯泡就在我的脑海中点亮了。MUMPS是自然的，低级别的，而且非常快。（这是一个没有类型的不平衡，不形式化的btree。）今天的趋势表明了回到它的方式：NoSQL，键值db，多维db-所以只剩下一些步骤了，我们达到了Mumps。
以下是有关MUMPS优势的演示：http ://www.slideshare.net/george.james/mumps-the-internet-scale-database-presentation
关于分层数据库的简短文档：http : //www.cs.pitt.edu/~chang/156/14hier.html
MUMPS全局变量简介（在MUMPS中，局部变量，简称：局部变量是内存变量，而全局变量，简称：全局变量是“ db变量”，设置全局变量立即进入磁盘）： http：// gradvs1.mgateway.com/download/extreme1.pdf（PDF）
假设您想写一首爱情诗...
不要仅仅因为手里已经有锤子而使用锤子，而要学习完成任务的适当工具：学会说法语。
达到接近母语的水平后，就可以开始写诗了。
对于自80年代中期以来就没有出现过的任何人，我建议学习8位BASIC。这是一个非常低级，非常原始的程序，它是围绕漏洞进行编程的有趣练习。
在同一行上，我选择了HP-41C系列计算器（或仿真器，尽管没有什么比真正的硬件更好）。很难将大脑包裹住，但是值得。TI-57可以，但是将是完全不同的体验。如果您设法在TI-55上求解二阶方程，那么您将被视为大师（除了RST外，它没有条件，也没有分支，它使程序跳回到了步骤0）。
最后，我选择FORTH（之前提到过）。它有一个不错的“建立语言”的Lisp风格的东西，但是更裸露。它会教您为什么Rails会很有趣，以及什么时候可以使用DSL，并且您在打字时也会对非RPN计算器的想法有所了解。
还有anic：
https://code.google.com/p/anic/
从其站点：
比C更快，比Java更安全，比* sh更简单
anic是用于实验性，高性能，隐式并行，无死锁的通用数据流编程语言ANI的参考实现编译器。
它似乎不再处于活跃的开发中，但是似乎有一些有趣的概念（毕竟，这正是您所追求的）。
我发现其他答案缺少一件事：基于术语重写的语言。
您可以看看Pure- http://code.google.com/p/pure-lang/。
Mathematica也是基于重写的，尽管要弄清楚发生了什么并不容易，因为它相当封闭。