10、函数柯里化、部分应用与惰性求值的深入解析

函数柯里化、部分应用与惰性求值的深入解析

1. 函数柯里化与FCSlib库

函数柯里化是一种将多参数函数转换为一系列单参数函数的技术。例如，下面的代码展示了一个简单的柯里化乘法函数：

public static readonly Func < int, Func < int, int > > Mult =
    x => y => x * y;

这个实现使用了柯里化的lambda表达式语法，直接在表达式的最后部分实现了计算，而不是调用其他函数来获取结果。

FCSlib库提供了一系列与柯里化相关的函数，包括 Curry 、 Uncurry 和 Lambda 。
- Curry函数 ：有两种重载类型，一种用于 Func<...> ，另一种用于 Action<...> 。对于 Func<...> ，有九个不同的重载，区别在于原始函数接受的参数数量。以下是部分示例：

public static Func < T1, Func < T2, TR > >  Curry < T1, T2, TR > (
    this Func < T1, T2, TR > func)