Python 使用柯里化的高阶函数

什么是柯里化

柯里化是一种函数式编程技术，它让我们能够把原本需要多个参数输入的函数转变成只需要接收一个参数的函数，同时返回一个新函数来处理剩余参数的过程。它基于 lambda calculus，是一种纯粹的数学概念。

柯里化可以让我们将一些没有比较的特征的代码抽象出来，从而减少冗余的代码，体现了面向对象思想的抽象、封装和继承。它是函数式编程的核心思维。

示例说明

例1：计数器函数

下面是一个例子，它演示了如何使用柯里化实现计数器函数：

def counter(x):
    def inc(): 
        nonlocal x 
        x += 1
        return x
    return inc

c = counter(0)
print(c()) # 1
print(c()) # 2
print(c()) # 3

在这个例子中，counter() 返回一个内部函数 inc()，inc() 利用了 counter() 函数的一个参数 x，使得它成为了一个自己独立的计数器。每次调用 inc() 函数，都会使这个计数器的值加 1。这种方法可以创造出多个计数器。

例2：实现加减法

下面是一个例子，它演示了如何使用柯里化实现加减法：

def add(x):
    def func(y):
        return x + y
    return func

def sub(x):
    def func(y):
        return x - y
    return func

print(add(3)(5)) # 8
print(sub(5)(3)) # 2

这个例子中，add() 和 sub() 分别返回一个函数，而这个函数可以在调用时传入另外一个参数。

当你调用 add(3) 时，它返回的函数中的 x 为 3，然后调用这个返回的函数时，将传入的参数加上这个 x 值。同样的，当你调用 sub(5) 时，它返回的函数中的 x 为 5，然后调用这个返回的函数时，将 x 值减去传入的参数。

总结

柯里化可以让你更好地掌握函数的灵活性，同时减少冗余的代码。在 Python 中，它通常是通过一个函数返回另一个函数来实现。在柯里化后的函数中，我们需要引入新的维度使得函数更加有效和健壮。