我有一个包含表达式的变量。例如：(> 1 2)，我该如何评价它？

Question

所以我写了这段代码。如何获取 if 语句中的 x 进行评估？目前，x 总是成功，而 if 语句永远不会失败。

(define expand
  (lambda (exp)
    (cond
     ((symbol? exp) exp)
     ((pair? exp)
      (case (car exp)
       ((and)
        (if (null? (cdr exp)) '(quote #t)
            (if (null? (cddr exp)) (cadr exp)
                (let ((x (cadr exp))
                      (thunk (lambda () (expand '(and ,(cddr exp))))))
                  (if x (thunk) 
                      `(quote ,x))))))
       (else exp)))
     (else exp))))

Answer 1

使用评估< /a>，例如：

(if (eval x (null-environment 5))
    (thunk)
    `(quote ,x))