一对？应用在 Racket 中的 Quote 上的函数

Question

为了实现给定多项式的导数，我需要对多项式进行因式分解，即 (* 3 x y) 应该是 3 和 (* x y) 的乘积。

所以我实现了一个函数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 ...)) 是 return 一个列表（不是一个元素！），所以如果列表有足够的元素（三个或更多）。也许你的目标是这样的？

(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))]))

一对？应用在 Racket 中的 Quote 上的函数

Pair? function applying on Quote in Racket

scheme

racket

quote

sicp