柯里化

求值策略
	及早求值; 惰性求值; 部分求值; 远程求值; 短路求值

在计算机科学中，柯里化（Currying），是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家哈斯凱爾·加里命名的，尽管它是 Moses Schönfinkel 和 Gottlob Frege 发明的。

在直觉上，柯里化声称「如果你固定某些参数，你将得到接受余下参数的一个函数」。所以对于有两个变量的函数 $y^x$ ，如果固定了 $y=2$ ，则得到有一个变量的函数 $2^x$ 。

在理论计算机科学中，柯里化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。

参见 [编辑]