问题描述
我想看看如何模拟 (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 次调用。