我的宏在 Common Lisp 中部分应用的问题

Question

我正在尝试制作一个宏来实现在 Common Lisp 中的部分应用。这是我如何在伪代码中实现它的想法：

If my argument list is null, return the function body
Otherwise, cons together "lambda" with the first argument with a recursive call to "partial-lambda" again

(lambda (x y z) (+ x y z) => (lambda (x) (lambda (y) (lambda (z) (+ x y z))))

这是我的代码：

If my argument list is null, return the function body
Otherwise, cons together "lambda" with the first argument with a recursive call to "partial-lambda" again

(lambda (x y z) (+ x y z) => (lambda (x) (lambda (y) (lambda (z) (+ x y z))))

不幸的是，SBCL 给了我这个错误：

; in: DEFMACRO PARTIAL-LAMBDA
;     (LAMBDA (CAR PARAMS) (PARTIAL-LAMBDA (CDR PARAMS) BODY))
; ==>
;   #'(LAMBDA (CAR PARAMS) (PARTIAL-LAMBDA (CDR PARAMS) BODY))
; 
; caught STYLE-WARNING:
;   The variable CAR is defined but never used.

; file: /Users/caspianahlberg/Desktop/Programming/Lisp/partial_application.lisp
; in: DEFMACRO PARTIAL-LAMBDA
;     (PARTIAL-LAMBDA (CDR PARAMS) BODY)
; 
; caught STYLE-WARNING:
;   undefined function: COMMON-LISP-USER::PARTIAL-LAMBDA
; 
; compilation unit finished
;   Undefined function:
;     PARTIAL-LAMBDA
;   caught 2 STYLE-WARNING conditions
STYLE-WARNING:
   PARTIAL-LAMBDA is being redefined as a macro when it was previously assumed to be a function.

为什么它会抱怨car从未使用过？我觉得这真的很令人困惑。熟悉 CL 宏的人知道我做错了什么吗？

Answer 1

尝试这个：

(defmacro partial-lambda (params &rest body)
    (if (null params) `(progn ,@body)
        `(lambda (,(car params)) (partial-lambda ,(cdr params) ,@body))))

CL-USER 43 > (partial-lambda (x y z) (+ x y z))
#<anonymous interpreted function 40300008DC>

CL-USER 44 > (funcall * 10)
#<anonymous interpreted function 403000094C>

CL-USER 45 > (funcall * 15)
#<anonymous interpreted function 40300009BC>

CL-USER 46 > (funcall * 3)
28

反引号是QUOTE 的变体，它允许在其中取消引用。, 用于，当您想取消引用部分内的某些内容时（该表达式被替换为值）。并且 ,@ (unquote-splicing) 取消引用某些内容，替换它并删除该值周围的括号。这些操作通常用于 Lisp 宏。

编辑： (car body)替换为 `(progn ,@body)用于在 body: 中处理具有更多表达式的输入(partial-lambda (x y z) (print 5)(+ x y z))。