柯里化
计算机科学术语
在计算机科学中,柯里化(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。
最新修订时间:2022-08-25 16:56
目录
概述
介绍
动机
参考资料