我有一個變量，包含一個表達式。例如：（> 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

使用eval，例如：

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