lambda函数与递归

lambda函数是匿名的，但是如果需要实现递归，那么必须要绑定名字，但是我们又不想因此而麻烦去定义函数。

关于绑定名字：

对于python这样的动态类型语言，可以直接将lambda函数赋值给变量；
对于C++这种强静态类型，可以使用函数存储器boost::function来存储；
对于Erlang这种纯函数式语言，我们无法实现这种递归的lambda函数。

C++

#include <iostream>
#include <boost/function.hpp>
 
int main()
{
    boost::function< int(int) > factorial =
       [&](int x) { return x==0 ? 1 : x * factorial(x-1); };
    std::cout << factorial(5) << std::endl;
 
    return 0;
}

输出：
120

注：
使用C++0x的lambda语法，注意绑定使用&来捕捉当前作用域，而不是lambda函数体作用域。

objective-c

#import <Foundation/Foundation.h>

int main(int argc, const char * argv[]) {
    
    typedef int (^FactorialType)(int);
    __block FactorialType factorial = 
        ^(int x) { return x==0 ? 1 : x * factorial(x-1); };
    NSLog( @"%d", factorial(5) );
    
    return 0;
}

python

>>> factorial = lambda x : 1 if x==0 else x * factorial(x-1)
>>> factorial(5)
120

javascript

var factorial = function(x){
        return x==0 ? 1 : x * arguments.callee(x-1);
    };
factorial(5);   // 120

Erlang

factorial(0) -> 1;
factorial(X) -> X * factorial(X-1).
 
> factorial(5).
120

注：
Erlang是纯函数式语言，函数体与外界作用域完全脱离，因此无法重用变量名字，递归只能通过模式匹配来显式定义函数。