什么是currying/柯里化

最新推荐文章于 2024-07-17 10:48:28 发布

yqj2065

最新推荐文章于 2024-07-17 10:48:28 发布

阅读量3.3k

点赞数

分类专栏： # Scheme

本文链接：https://blog.csdn.net/yqj2065/article/details/51357314

版权

柯里化是将多元函数转化为一元函数的过程，使得在函数式编程中，通过连续调用来实现参数逐步传递。在Scheme中，闭包是柯里化的基础，但在Java中，由于不支持嵌套函数，实现柯里化较为复杂，需要定义多个接口。闭包在函数柯里化的语言中起着关键作用，它携带了函数创建时的环境数据。

摘要由CSDN通过智能技术生成

返回目录【2.4.2柯里化】

1.什么是柯里化

丘奇的λ演算要求函数为单参数，如数学函数f(x,y) =2x+3y，其λ演算写为λx. λy. ( 2x+3y)。而在编程实践中，更多地使用多元函数，函数定义的一个参数列表，表示它拥有多个参数。

柯里化/currying，指将多元函数转化为多个一元函数的连续定义。柯里化主要体现为理论意义，它说明人们只需要研究一元函数，其所有结论和规则就能够运用到多元函数。

在函数式语言如Scheme中，多元函数和多个一元函数可以毫无阻碍地转化，只需要将多元函数的lambda的参数修改为一个即可。

;;;currying.rkt
;;; 多元函数。
(define F 
   (lambda ( x y) 
     (+ x y) 
   )
)
;;; 多个一元函数的连续定义
(define curryingF
  (lambda (x)
    (lambda ( y)
      (+ x y) )))

;;; 函数应用
(F 2 3)   ;;;         → 5
((curryingF 2) 3)  ;;;        → 5

例程中，F是一个二元函数，其返回x+ y的数值；而一元函数curryingF，它内部定义了一个嵌套函数并作为返回值。

请注意curryingF的函数应用。在 ((curryingF 2) 3)的计算过程中，先计算(curryingF 2) 并返回一个匿名函数，然后该匿名函数应用于实参3，计算得2