初探函数式编程，初探函数, 函数式编程 上学期有上

初探函数式编程，初探函数, 函数式编程 上学期有上

前言

继续向下看廖大教程，看到了函数式编程这一节，当时是觉得没啥用直接跳过了，这次准备要仔细看一遍了，并记录下一些心得。

函数式编程

上学期有上一门叫 ‘人工智能’ 的课，老师强行要我们学了一个叫做 prolog 的语言，哇那感觉确实难受，思维方式完全和之前学过的不一样，写个汉诺塔想了半天，最后还是在网上找了段代码修改一下(怕被老师发现抄袭)才写出来，贴一段出来感受一下：

hanoi(N) :- dohanoi(N, 'a', 'b', 'c').
dohanoi(0, _ , _ , _ )    :- !.
dohanoi(N, A, B, C)    :-
  N1 is N-1,
  dohanoi(N1, A, C, B),
  writeln([move, N, A-->C]), 
  dohanoi(N1, B, A, C).

当时是差不多弄懂了，主要是资料实在太少，debug 都无从谈起，一遇上 bug 就 gg，我现在自己看也有点头晕。不过据说 prolog 当年能和 Lisp 一争高下，最近对 Lisp 也有点兴趣，等弄完这些就去参拜一下这类函数式语言。

何谓函数式编程？廖大这里写道：

函数式编程就是一种抽象程度很高的编程范式，纯粹的函数式编程语言编写的函数没有变量，因此，任意一个函数，只要输入是确定的，输出就是确定的，这种纯函数我们称之为没有副作用。而允许使用变量的程序设计语言，由于函数内部的变量状态不确定，同样的输入，可能得到不同的输出，因此，这种函数是有副作用的。

可能看完还是有些不太理解，不急，先看完这几个小节吧。

高阶函数

在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数:

• 接受一个或多个函数作为输入
• 输出一个函数

也就是说，把函数本身当成参数传递，或者返回一个函数。

例如，可以像普通赋值一样将函数赋值给变量：

Python

>>> min(1, 2)
1
>>> f = min
>>> f(1, 2)
1
>>> f
<built-in function min>
>>> min
<built-in function min>

也可以给函数赋值(代码接上)：

Python

>>> min = 10
>>> min(1, 2)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: 'int' object is not callable
>>> f(1, 2)
1
>>> min = f
>>> min(1, 2)
1

还可以传参，例如，一个计算所有数字的和的函数：

>>> def add(a, b):
...     return a+b
...

>>> def mysum(f, *l):
...     a = 0
...     for i in l:
...             a = f(a, i)
...     return a
...
>>> mysum(add, 1, 2, 3)
6
>>> mysum(add, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
55

当然，将这个 f 换成乘法就是计算所有数字的乘积了。

再来看看 python 内置的一些高阶函数，经常会用到。

map/reduce

记得上学期上云计算的课程时依稀有听到过这个词，不过这课很水，就没怎么听，在这里看到好像发现不太一样？？

不过没啥说的，简单说一下每个函数的作用。

对于 map，其计算式可以看成这样：

map(f, [x1, x2, ..., xn]) = [f(x1), f(x2), ..., f(xn)]

对于 reduce，其计算式可以看成这样：

reduce(f, [x1, x2, x3, x4]) = f(f(f(x1, x2), x3), x4)

廖大那里说得很清楚啦。

filter

filter 和 map 函数类似，接受一个函数和 iterable，返回也是一个 list，不过其功能是根据函数返回值是否为 True 来判断是否保留该值。例如：

def is_odd(n):
    return n % 2 == 1

list(filter(is_odd, [1, 2, 4, 5, 6, 9, 10, 15]))
# 结果: [1, 5, 9, 15]

sorted

sorted 函数同样是一个高阶函数，对参数 key 传递函数可以将需要排列的序列经过 key 函数处理后再进行排序，不过不会改变序列的值，例如：

>>> sorted([36, 5, -12, 9, -21], key=abs)
[5, 9, -12, -21, 36]

装饰器(decorator)

匿名函数就不说了，以后用时再仔细看吧，装饰器我记得之前看 flask 的时候都研究了好久，这次再来复习一下。

简单装饰器

首先是一个简单的装饰器，在每次调用函数前打印出日志：

import logging

def log(func):
    def wrapper(*args, **kw):
        logging.warn("%s is running" % func.__name__)
        func(*args, **kw)
    return wrapper

这就是一个极其简单的装饰器，如何使用它呢？我最先看到的用法是在需要装饰的函数前添加@，但其实这是 Python 的一个语法糖，最原始的用法反而更能让人理解，先定义一个函数 f：

def f():
    print("in function f")

f = log(f)

这样定义了之后，我们再调用 f 函数：

>>> f()
WARNING:root:f is running
in function f

使用 @log 的结果与其一样，其实@符号作为装饰器的语法糖，与前面的赋值语句具有相同的功能，使代码看起来更简洁明了，避免再一次赋值操作，就像下面这样：

@log
def f():
    print("in function f")

含参数的装饰器

有时候我们还需要向装饰器中传入参数，例如，状态，层次等信息，只需要在 wrapper 函数外再’包裹’一层函数，如下所示：

import logging

def log(level):
    def decorator(func):
        def wrapper(*args, **kw):
            logging.warn("%s is running at level %d" % (func.__name__, level))
            return func(*args, **kw)
        return wrapper
    return decorator

@log(2)
def f():
    print("in function f")
    
>>> f()
WARNING:root:f is running at level 2
in function f

进一步理解

为了再进一步理解装饰器，我们可以打印出函数 f 的 name 属性：

#对于不加装饰器的 f，其 name 不变
>>> def f():
...     print("in function f")
...
>>> f.__name__
'f'

#对于添加装饰器的函数，其 name 改变了
>>> @log
... def f():
...     print("in function f")
...
>>> f.__name__
'wrapper'

联系到最前面的装饰器赋值语句，就可以大致明白发生了什么：f = log(f) 使得 f 指向修改为 log(f) 的返回值，即 wrapper 函数。每次运行原函数 f 时，则会调用 wrapper 函数，在我们这个例子中，则是先打印日志，然后运行原函数 f。

不过这样有一个问题，这样使得原函数 f 的元信息被替换了，关于 f 的许多信息消失不见，这是很难令人接受的，不过好在我们有 functools 模块，修改函数为：

import functools
import logging

def log(func):
    functools.wraps(func)
    def wrapper(*args, **kw):
        logging.warn("%s is running" % func.__name__)
        func(*args, **kw)
    return wrapper

>>> @log
... def f():
...     print("in function f")
...
>>> f.__name__
'f'

另外，还可以对同一个函数添加多个装饰器：

<a href="http://www.jobbole.com/members/a58797">@a</a>
@b
<a href="http://www.jobbole.com/members/522c">@c</a>
def f ():


# 等价于

f = a(b(c(f)))

总结

关于函数式编程我也不是很了解，这里只是大概了解了一下其概念吧，平时肯定还是使用命令式编程用得多。不过有语言是纯函数式语言，例如 Haskell 或 Lisp，学习它们会使得人打开一种新思路。

以上~