lisp/scheme、编译时或运行时中的符号计算？

Question

我正在为折纸进行符号计算，涉及计算给定两点的折痕的参数方程，如下所示。我希望把它变成一个非常简单的折纸定理证明器/CAS 混合体。

; number -> number -> vertex
(struct vertex (x y))

; lambda _ -> crease
(struct crease (equation))

; ? -> vertex -> vertex -> vertex
(define (vop-symbol op v1 v2)
  (vertex `(,op ,(vertex-x v1) ,(vertex-x v2))
          `(,op ,(vertex-y v1) ,(vertex-y v2))))

; vertex -> vertex -> vertex
(define (vadd-symbol v1 v2)
  (vop-symbol + v1 v2))

; vertex -> vertex -> vertex
(define (vsub-symbol v1 v2)
  (vop-symbol - v1 v2))

; number -> vertex -> vertex
(define (vsmul-symbol s v)
  (vertex `(* ,s ,(vertex-x v)) `(* ,s ,(vertex-y v))))

; vertex -> vertex -> crease
(define (axiom1 v1 v2)
  (crease (? (s)(vadd-symbol v1 (vsmul-symbol s (vsub-symbol v2 v1))))))

这很简单，但缺点是使用具体数字而不是符号需要eval用户输入：

> (define crease1 (axiom1 (vertex 0 0) (vertex 3 3)))
> (vertex-y ((crease-equation crease1) 1/2))
'(#<procedure:+> 0 (* 1/2 (#<procedure:-> 3 0)))
> (eval (vertex-y ((crease-equation crease1) 1/2)))
1 1/2

所以我的问题是，在运行时（如在 SICP 函数派生示例中）或编译时执行这种符号操作是更容易/更易于维护的更好实践吗？即使用宏的麻烦值得避免eval吗？或者是否有函数的解决方法？

谢谢！