函数式编程中常用到柯里化这个概念,那么什么是柯里化呢?
简单的说可以这么理解:
简单的说可以这么理解:
在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,
并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,
尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。在直觉上,柯里化声称“如果你固定某些参数,你将得到接受余下参数的一个函数”。
所以对于有两个变量的函数yx,如果固定了 y = 2,则得到有一个变量的函数 2x。在理论计算机科学中,柯里化提供了在简单的理论模型中
比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。