J'ai une variable qui contient une expression. Par exemple: (> 1 2), comment l'évaluer?

Question

J'ai donc écrit ce code. Comment puis-je obtenir le x dans l'instruction if pour évaluer? pour le moment, x réussit toujours, et l'instruction if n'échoue jamais.

(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

Utilisez eval, par exemple:

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