如何创建像球拍一样的咖喱功能

如何解决如何创建像球拍一样的咖喱功能

我想看看如何模拟 (curry func) 提供的 racket。这是我如何手动柯里化函数的示例：

#lang sicp
; convert to a curried function

(define (add1 x y) (+ x y))

(define add2
  (lambda (x)
    (lambda (y)
      (+ x y))))

(add1 2 3)
; 5

((add2 2) 3)
; 5

我从哪里开始添加高阶函数，以便将“普通”函数转换为柯里化函数，如下所示：

(((curry add1) 2) 3)

解决方法

您必须进行一些权衡，因为要判断一个函数接受多少个参数并不容易。 Racket 有一个 procedure-arity 函数，它让 curry 告诉有多少个参数要柯里化，但 SICP 语言没有。所以你必须选择如何处理这个问题。一些合理的选择包括：

• 让调用者指定等待多少个参数
• 仅使用固定数量的参数
• 只对函数进行前 n 次调用，并通过底层函数进行 n+1 次调用。