Python Currying

2018-02-13 | 阅读：次

名词解释

Currying:因为是美国数理逻辑学家哈斯凯尔加里（Haskell Curry）发明了这种函数使用技巧，所以这样的用法就以他的名字命名为Currying，中文翻译为“加里化”。

加里化（Currying）与偏函数（Partical）区别

偏函数是将所要承载的函数作为partical()函数的第一个参数，原函数的各个参数一次作为partical()函数的后续参数，除非使用关键字参数。
偏函数解决的问题：函数有多个参数时，希望固定其中某个参数的值。
加里化：将一个函数的多个参数分解成多个函数，然后将函数多层封装起来，每层函数都返回一个函数取接收下一个参数，简化函数的多个参数。

偏函数的例子如下：

在C语言中的例子如下：

int foo(int a, int b, int c){
	return a + b + c;
}

int foo23(inta+intc){
	return foo(a, 23, c);
}

在Python语言中的例子如下：

from functlools import partial

def foo(a, b, c):
	return a + b +c

foo23 = partial(foo, b = 23)

foo23(a = 1, c = 3) #=>27

加里化的例子如下：

在Python语言中的例子如下：

def inc(x):
	def incx(y):
		return x + y
	return incx

inc2 = inc(2)
inc5 = inc(5)

print inc2(5) 	# => 7
print inc5(5) 	# => 10
print inc(6)(5) # => 11

函数加里化提供了一种非常自然的方式来实现某些偏函数应用。如上所示，将第一个参数被固定为2，只需要inc2 = inc(2)即可。
通过上面例子Inc()函数返回了另一个函数incx(),预示可以用inc()函数来构造各种版本的inc函数，比如：inc2()和inc5()。
其完全符合了函数编程的理念：