日期:2014-05-17  浏览次数:20922 次

C#函数式编程入门之Currying函数
本帖最后由 caozhy 于 2013-09-17 07:40:50 编辑
在函数式编程语言中,Currying函数是一个惯用的形式。

但是对于C#程序员来说,这比较陌生。

为了解释这个问题,我们看一个小例子:
Func<int, Func<int, int>> add = x => new Func<int, int>(y => x + y);
int i = add(3)(4);
Console.WriteLine(i);


我们定义了一个函数,add,它接受一个参数,并且返回一个新的方法,接受第二个参数,并且求出最终的结果。

因此,实际上add函数本身并非一次求出最终的结果,而是分为了两步。

我们可以通过给add传递参数得到一个新的函数,然后用新的函数去求值:
Func<int, int> addTen = x => add(10)(x);
int j = addTen(i);
Console.WriteLine(j);


下面,我们用到这些预备知识实现一个复杂的,做一个通用的二元运算:
我们管这个二元运算叫做eval函数,并且带入刚才的add,实现加法运算:
Func<int, Func<Func<int, Func<int, int>>, Func<int, int>>> eval =
    x => new Func<Func<int, Func<int, int>>, Func<int, int>>(
        y => new Func<int, int>(z => y(x)(z)));
Func<int, Func<int, int>> add = x => new Func<int, int>(y => x + y);
int i = eval(3)(add)(5);
Console.WriteLine(i);

现在我们要实现减法运算,我们说了,eval是通用的二元运算,我们只要传入一个sub函数即可:
Func<int, Func<int, int>> sub = x => new Func<int, int>(y => x - y);
i = eval(i)(sub)(1);


好吧,我说的比较抽象。理论说完了,下面是实践的部分。

这个代码展示了一个遍历集合的场景:
Func<Action<int>, Action<int[]>> iter = new Func<Action<int>,Action<int[]>>
    (x => new Action<int[]>(y => { foreach (int i in y) x(i); }));
var OutputArray = iter(x => Console.WriteLine(x));
int[] data = { 1, 2, 3, 4, 5 };
OutputArray(data);

代码分为三个层次,一个是定义了一个叫iter的系统库函数,它最抽象,既没有规定遍历什么集合,也不知道遍历的过程做什么操作。
第二个是OutputArray的用户函数,这个函数规定了它的用途,用来输出元素,但是将数组作为参数。
第三个是调用OutputArray产生结果,此刻代码有了最终的用途。