在Scheme函数中出现`Generic operator inapplicable`错误的原因是什么？

问题场景 #

在用《SICM》（经典力学的结构与解释）配套的Scheme代码完成习题时，修改拉格朗日量表达式后触发错误，相关代码与错误信息如下：

正常运行的代码 #

(define q (up (literal-function 'x)))

; 这段代码运行正常
(define ((Lagrangian-unknown m k) q) 
  (+ (* 1/2 m (coordinate q) (coordinate q)) 
     (* 1/2 k (coordinate q) (coordinate q)) ))
(show-expression ((Lagrangian-unknown 'm 'k) ((Gamma q) 't)))

触发错误的代码 #

仅移除了第二个项中的一个(coordinate q)：

(define ((Lagrangian-unknown m k) q) 
  (+ (* 1/2 m (coordinate q) (coordinate q)) 
     (* 1/2 k (coordinate q)) ))
(show-expression ((Lagrangian-unknown 'm 'k) ((Gamma q) 't)))

错误信息 #

;Generic operator inapplicable: #[compiled-closure 12 (lambda "ghelper" #x3) #x625 #x2291fd5 ...] + (#(...) (*number* ...))
;To continue, call RESTART with an option number:
; (RESTART 1) => Return to read-eval-print level 1.

错误原因 #

核心问题是类型不匹配：

• SICM中(coordinate q)返回的是up结构（类向量形式），而非普通数值。
• 正常代码中，两个求和项均为「向量×向量」运算，结果是同类型结构，加法可正常执行。
• 修改后的代码中：
  • 第一个项(* 1/2 m (coordinate q) (coordinate q))是向量逐元素相乘，最终得到标量；
  • 第二个项(* 1/2 k (coordinate q))是标量乘向量，结果仍为向量结构；
• SICM的通用加法操作无法直接将标量与向量结构相加，因此触发错误。

修复方案 #

根据实际需求选择对应方案：

方案1：修正拉格朗日量表达式（恢复势能平方项） #

如果是误删了(coordinate q)，直接加回即可，保持两项运算逻辑一致：

(define ((Lagrangian-unknown m k) q) 
  (+ (* 1/2 m (coordinate q) (coordinate q)) 
     (* 1/2 k (coordinate q) (coordinate q)) ))

方案2：提取标量元素，统一类型 #

如果确实需要保留第二项为一次项，用ref函数从coordinate返回的结构中提取标量元素，让两项均为标量：

(define ((Lagrangian-unknown m k) q) 
  (let ((x (ref (coordinate q) 0)))
    (+ (* 1/2 m x x) 
       (* 1/2 k x) )))

内容的提问来源于stack exchange，提问作者ipcamit