函数式编程的思想根源于λ演算（Lambda Calculus），由阿隆佐·邱奇（Alonzo Church）在1930年代提出。λ演算是一种用于研究函数定义、函数应用和递归的形式系统。

函数式编程的核心理念是：

• 纯函数：相同的输入总是产生相同的输出，没有副作用
• 不可变数据：数据一旦创建就不会改变
• 高阶函数：函数可以作为参数传递和返回值
• 声明式编程：描述“做什么”而不是“怎么做”
• 惰性求值：表达式只在需要结果时才计算