函数式编程(英语:functional programming)或称函数程序设计,又称泛函编程,是一种编程范型,它将电脑运算视为数学上的函数计算,并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是λ演算(lambda calculus)。而且λ演算的函数可以接受函数当作输入(引数)和输出(传出值)。(维基百科:函数式编程)
所谓编程范式(Programming paradigm)是指编程风格、方法或模式,比如面向过程编程(C语言)、面向对象编程(C++)、面向函数式编程(Haskell),并不是说某种编程语言一定属于某种范式,例如 Python 就是多范式编程语言。
函数式编程具有以下特点:
值得一提的是,函数式编程的这些特点在实践过程中可能并不是那么 Pythonic,甚至与0x00中提到的 The Zen of Python 相悖。例如函数式编程面向问题描述的特点可能让你更快地写出更简洁的代码,但可读性却也大打折扣(可参考这一段Haskell代码)。不过,虽然 Pythonic 很重要但并不是唯一的准则,The Choice Is Yours。
In [1]:
# map 函数的模拟实现
def myMap(func, iterable):
for arg in iterable:
yield func(arg)
names = ["ana", "bob", "dogge"]
print(map(lambda x: x.capitalize(), names)) # Python 2.7 中直接返回列表
for name in myMap(lambda x: x.capitalize(), names):
print(name)
In [2]:
# filter 函数的模拟实现
def myFilter(func, iterable):
for arg in iterable:
if func(arg):
yield arg
print(filter(lambda x: x % 2 == 0, range(10))) # Python 2.7 中直接返回列表
for i in myFilter(lambda x: x % 2 == 0, range(10)):
print(i)
In [3]:
from functools import reduce
print(reduce(lambda a, b: a*b, range(1,5)))
In [4]:
from functools import partial
add = lambda a, b: a + b
add1024 = partial(add, 1024)
add1024(1)
Out[4]: