深入解析函数式编程核心概念：caiorss/Functional-Programming项目解读-CSDN博客

本文链接：https://blog.csdn.net/gitblog_00300/article/details/148784027

深入解析函数式编程核心概念：caiorss/Functional-Programming项目解读

函数式编程概述

函数式编程（Functional Programming）是一种以函数为核心的编程范式，它将计算视为数学函数的求值过程。与命令式编程不同，函数式编程强调无副作用和不可变数据，这使得程序更易于理解、测试和维护。

核心特性

纯函数：相同的输入总是产生相同的输出，且不产生副作用
函数组合：将简单函数组合成更复杂的函数
Lambda函数：匿名函数，可作为一等公民使用
高阶函数：可以接受函数作为参数或返回函数
柯里化：将多参数函数转换为一系列单参数函数
闭包：函数可以记住并访问其创建时的环境
数据不可变性：数据一旦创建就不能被修改
模式匹配：强大的数据解构能力
列表作为基础数据结构：函数式编程中最常用的数据结构

一等函数（First-Class Functions）

一等函数是指函数可以像其他数据类型一样被传递、返回和存储。这是函数式编程的基础特性之一。

函数作为参数和返回值

Python示例展示了如何将函数作为参数传递并返回新函数：

def derivate(f, dx=1e-5):
    def _(x):
        return (f(x+dx) - f(x))/dx
    return _
    
# 使用示例
def f(x): return x**2 - 3*x + 4
df = derivate(f)  # df现在是f的导数函数
print(df(3))      # 输出近似导数值

函数存储在数据结构中

Python中使用字典存储函数：

dispatch_table = {
    "sin": math.sin,
    "cos": math.cos,
    "exp": math.exp,
    "myfun": lambda x: 10.2 * x - 5.0
}

print(dispatch_table["sin"](math.pi))  # 输出sin(π)的值

Haskell中使用列表存储函数：

let funlist = [sin, cos, exp, \x -> 10.0 * x - 3.0]
map (\f -> f 4.0) funlist  -- 对列表中的每个函数应用4.0

纯函数与引用透明性

纯函数特性

纯函数是函数式编程的核心概念，具有以下特点：

相同的输入总是产生相同的输出
不依赖或修改外部状态
不进行I/O操作
无隐藏状态

Python示例：

# 纯函数示例
def min(x, y):
    return x if x < y else y

# 非纯函数示例
exponent = 2
def powers(L):  # 依赖外部变量exponent
    return [x**exponent for x in L]

引用透明性

引用透明性意味着表达式可以被其值替换而不改变程序行为。这是数学表达式的基本性质，也是函数式编程的重要特性。

Python示例：

def square(x):
    return x * x

# 引用透明性示例
square(3) + square(3) == 2 * square(3)  # True

非引用透明性示例：

state = 1
def f(x):
    global state
    state += 1
    return x + state

f(2) + f(2) == 2 * f(2)  # False，因为每次调用f(2)结果不同

闭包（Closure）

闭包是指函数能够记住并访问其创建时的词法环境，即使函数在其原始作用域之外执行。

Python闭包示例：

def make_adder(x):
    def adder(y):
        return x + y
    return adder

add5 = make_adder(5)
print(add5(3))  # 输出8

Clojure闭包示例：

(defn make-adder [x]
  (fn [y] (+ x y)))

(def add5 (make-adder 5))
(add5 10)  ; 返回15

柯里化与部分应用

柯里化概念

柯里化是将多参数函数转换为一系列单参数函数的技术。以函数f(x, y) = 10x - 3y为例：

非柯里化形式：f(4, 3) = 31
柯里化形式：f(4)(3) = 31

Haskell示例：

-- 柯里化函数定义
curriedAdd :: Int -> Int -> Int
curriedAdd x y = 10 * x - 3 * y

-- 部分应用
add40 = curriedAdd 4  -- 现在add40是函数: y -> 40 - 3*y
add40 3  -- 返回31

F#示例：

let make_adder x y = x + y
let add5 = make_adder 5  // 部分应用
add5 10  // 返回15

部分应用

部分应用是指固定函数的部分参数，创建新函数的技术。柯里化使得部分应用变得自然。

Python中使用functools.partial实现部分应用：

from functools import partial

def power(base, exponent):
    return base ** exponent

square = partial(power, exponent=2)
cube = partial(power, exponent=3)

print(square(5))  # 25
print(cube(5))    # 125