函数式编程是一种编程范式，其核心思想是将计算当做是数学函数的执行而不是通过改变状态来进行控制。函数式编程强调的是函数的纯粹性、不可变性以及对数据的高阶抽象。目前主流的函数式编程语言包括以下几种：

1、Haskell：Haskell是一种纯函数式编程语言，它基于纳米逻辑进行推理，并且具有强大的类型系统，支持惰性求值。Haskell拥有丰富的函数式编程特性，比如高阶函数、闭包、模式匹配等，同时也支持面向对象编程和命令式编程。

2、Scala：Scala是一种与Java兼容的静态类型编程语言，它结合了面向对象编程和函数式编程的特性。Scala拥有强大的类型推导能力和漂亮的语法，支持高阶函数、闭包、不可变数据结构等函数式编程的特性。

3、Clojure：Clojure是一种基于JVM的函数式编程语言，它采用Lisp语法，并且拥有强大的元编程能力。Clojure的核心思想是将数据当作是不可变的，通过函数来操作数据。它具有强大的并发性能，支持软件事务内存（STM）等特性。

4、Erlang：Erlang是一种并发式函数式编程语言，它主要用于构建可靠的分布式系统。Erlang拥有轻量级进程模型和消息传递机制，可以方便地实现并发和容错。它也支持模式匹配、高阶函数等函数式编程特性。

除了以上几种语言，还有一些其他的函数式编程语言，比如F#, OCaml等。这些语言各自有自己的特点和适用场景，可以根据具体需求选择适合的语言。