函数式编程是一种编程范式，它的核心思想是将计算视为数学函数的组合，强调函数的纯洁性和不可变性。函数式编程语言是以函数式编程为主要特点的编程语言，其使用函数作为主要的构建块，通过函数的组合和变换来实现程序的逻辑。
下面列举了一些常见的函数式编程语言：
Haskell：Haskell是一种强大的纯函数式编程语言，它的设计目标之一是通过强类型系统来保证程序的安全性和正确性。Haskell具有懒惰求值的特性，可以避免不必要的计算。
Lisp：Lisp是一种历史悠久的函数式编程语言，它以S表达式作为程序的表达方式，使用括号来组织代码结构。Lisp提供了强大的元编程能力，可以在运行时动态修改代码。
Clojure：Clojure是一种基于JVM的函数式编程语言，它结合了函数式编程和并发编程的思想。Clojure通过不可变数据结构和软件事务内存（STM）来保证并发安全性。
Scala：Scala是一种结合了面向对象编程和函数式编程的静态类型编程语言，它运行在JVM上。Scala支持高阶函数、匿名函数和模式匹配等函数式编程特性。
Erlang：Erlang是一种函数式编程语言，专门用于开发并发、分布式和容错的系统。Erlang具有轻量级进程和消息传递的机制，可以实现高可靠性和高并发性。
以上只是函数式编程语言的一部分，还有其他的函数式编程语言如F#, Scheme等。每种函数式编程语言都有自己的特点和优势，在选择函数式编程语言时需要根据具体的需求和项目来决定。