更新时间：2022-08-25 16:56
在计算机科学中，柯里化（Currying）是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数，并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的，尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。
在直觉上，柯里化声称“如果你固定某些参数，你将得到接受余下参数的一个函数”。所以对于有两个变量的函数yx，如果固定了 y = 2，则得到有一个变量的函数 2x。
在理论计算机科学中，柯里化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。
Currying提供了一种处理带有多个参数的函数的方法，并在函数可能只占用一个参数的框架中使用它们。例如，某些分析技术只能应用于具有单个参数的函数。实际功能经常需要更多的论据。 Frege表明，为单个参数情况提供解决方案就足够了，因为可以将具有多个参数的函数转换为单参数函数链。这种转变被称为currying。在数学分析或计算机编程中通常可能遇到的所有“普通”函数都可以进行计算。但是，有些类别无法进行干扰;允许currying的最一般类别是封闭的monoidal类别。
一些编程语言几乎总是使用curried函数来实现多个参数;值得注意的例子是ML和Haskell，在这两种情况下，所有函数都只有一个参数。此属性继承自lambda演算，其中多参数函数通常以curry形式表示。
Currying与部分应用有关，但与部分应用不同。在实践中，闭包的编程技术可以用于通过在具有curried函数的环境中隐藏参数来执行部分应用和一种currying。