有哪些很冷门但是很有意思的编程语言?

Common Lisp是一个现代的，多重范式的，高性能，可编译的标准化ANSI编程语言。相对于各种嵌入在特定产品中的Lisp方言，例如Emacs Lisp 和 AutoLISP，Common Lisp 是一种通用用途的编程语言。不像很多早期的Lisp，Common Lisp同Scheme一样，变量有作用域。

Common Lisp具有高度灵活性，对象化编程以及快速的框架能力提供优异的支持。同时它还提供强大的宏能力，使编程者在编码时定制自己的应用，并给编程者提供了高度灵活的运行环境，可在运行时修改和调试程序。其多重范式语言特性还允许编程者选择适当的方法和范式适应编写的应用程序。

Haskell是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。

在Haskell中，“函数是第一类对象”。作为一门函数编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征。