函数式编程语言是一种编程范式，其核心思想是将计算视为函数的运算。函数式编程语言不同于传统的命令式编程语言，它强调将程序的状态和可变性降到最低，并通过对数据进行转换和组合的方式来实现程序的功能。下面将介绍几种常见的函数式编程语言，并附上相应的代码示例。
- Haskell:
Haskell是一种强静态类型的纯函数式编程语言，具有惰性求值特性。它的代码示例如下：
-- 求阶乘
factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n * factorial (n - 1)
main :: IO ()
main = do
putStrLn "请输入一个正整数："
n <- readLn
putStrLn ("阶乘结果为：" ++ show (factorial n))
