8、深入理解柯里化和部分应用：C中的函数式编程实践

深入理解柯里化和部分应用：C#中的函数式编程实践

1. 解耦参数

函数式编程的核心在于函数的应用以及将函数作为算法构建块的使用。哈斯凯尔·柯里（Haskell Curry）是数学家，其名字是术语“柯里化”的起源。柯里化使得可以将所有函数视为只接受一个参数的函数类的成员，无论实际计算需要多少个参数。它使得部分应用成为可能，这是实现函数模块化的两种技术之一（另一种是组合）。

在大多数.NET语言中，为特定函数声明的参数列表是静态的。这意味着所讨论的函数只能一次性调用所有参数。实际上，调用带有不完整参数列表的函数可能对许多程序员来说看起来相当奇怪。然而，这正是柯里化的本质：分割参数列表，使得可以使用不完整参数集调用函数。

例如，考虑以下用 C# 2.0兼容的匿名方法语法编写的简单函数：

Func<int, int, int> add = delegate(int x, int y) { return x + y; };

这是一个名为 add 的函数，它接受两个参数并返回两个值相加的结果。当调用这个函数时，调用者必须同时提供两个参数 x 和 y ；C# 的句法约束不允许其他任何方式。

将柯里化应用于此函数意味着创建一个只接受一个参数的函数，返回另一个接受第二个参数的函数，然后返回加法的结果。通常，应用柯里化之后的参数顺序与之前相同，尽管并非必须如此。

Func<i