对？ 功能应用于球拍中的报价

Question

为了实现给定多项式的导数，我需要分解多项式，即(* 3 xy)应该是3与(* xy)的乘积。

因此，我实现了一个multiplicand函数以获得multiplicand的第二个因子：

(define (multiplicand p) 
  (let ((second-factor (cdr (cdr p))))
  (if (pair? second-factor) (cons '* second-factor)
   second-factor)))

测试代码是

(multiplicand '(* x y))

但是输出是'(* y) 。 看来条件(pair? second-factor)等于#true ， second-factor值'y 。

有人可以帮我吗，非常感谢。

Answer 1

请记住， (cdr (cdr ...))返回一个列表（不是元素！），所以pair? 如果列表具有足够的元素（三个或更多），则将返回true。 也许您的目标是这样的？

(define (multiplicand p) 
  (if (null? (cdddr p)) ; assuming list has at least 3 elements
      p
      `(* ,(second p) (* ,(third p) ,(fourth p)))))

(multiplicand '(* x y))
 => (* x y)

(multiplicand '(* 3 x y))
 => (* 3 (* x y))

Answer 2

match符号表达式是为了实现以下目的：

(define (multiplicand p)
  (match p
     [(list '* m n) n]
     [_ (error 'multiplicand (~a "expected product, got: " p))]))