L'évaluateur métacirculaire

Question

Je dois écrire schéma avec schéma .. calme drôle, mais c'est la situation. De toute façon, Voici un exemple pour essayer d'écrire "lambda" expression avec tous les proucedors que je peux utiliser, et j'ai besoin d'aide pour écrire "Let" expression aussi. Comment puis-je traduire l'expression "Let" en lambda de la même manière? Merci.

(define (lambda? exp) (tag-check exp 'lambda)) 
  
(define (eval exp env) 
    (cond ((number? exp)  exp) 
     ((symbol? exp)  (lookup exp env)) 
     ((define? exp)  (eval-define exp env)) 
     ((if? exp)   (eval-if exp env)) 
     ((lambda? exp)  (eval-lambda exp env)) 
     ((application? exp) (apply (eval (car exp) env) 
           (map (lambda (e) (eval e env)) 
             (cdr exp)))) 
     (else (error "unknown expression " exp)))) 
  
(define (eval-lambda exp env) 
     (make-procedure (lambda-parameters exp) 
         (lambda-body exp) 
         env)) 

(define (lambda-parameters exp) (cadr exp)) 
(define (lambda-body exp) (cddr exp)) 

(define (make-procedure parameters body env) 
    (list 'procedure parameters body env)) 

Answer 1

Vous avez juste besoin d'écrire un programme qui pourrait être transformé.

(corps soit ((e1 v1) (e2 v2) ...) ..) => ((lambda (e1 e2 ...) corps ..) v1 v2 ...)

et consultez le chapitre 4. SICP