关于lisp:用lisp写一个-柯里化curry的宏

curry.lisp

(define-macro curry (lambda (fn) (
    (define curry0 (lambda (args body) (
        (if (nil? args) 
            (body)
            (
                `(lambda ((,(car args))) (,(
                    curry0 (cdr args) body
                )))
            ))
    )))
    (if (procedure? (apply fn)) 
        (
            (define args (car (cdr fn)))
            (define body (cdr (cdr fn)))
            (curry0 args body)
        )
        (fn))
)))

应用

(define add3 (curry(lambda (x y z) (+ x y z))))
(((add3 1) 2) 3)

介绍
这条语句

(curry(lambda (x y z) (+ x y z)))

等价于上面这条语句

(lambda (x) (lambda (y) (lambda (z) ((+ x y z)))))

暂不反对这种写法

(define add30 (lambda (x y z) (+ x y z)))
(define add3 (curry add30))

若想反对能够用宏重写 define 语句

评论

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

这个站点使用 Akismet 来减少垃圾评论。了解你的评论数据如何被处理