src/sicp/ex4_7.rkt

   1 #lang racket
   2
   3 (define (tagged-list? exp tag)
   4   (if (pair? exp)
   5       (eq? (car exp) tag)
   6       #f))
   7
   8 (define (make-lambda params body)
   9   (cons 'lambda (cons params body)))
  10
  11 (define (let*? expr)
  12   (tagged-list? expr 'let*))
  13
  14 (define (let*-bindings expr) (cadr expr))
  15 (define (let*-body expr) (cddr expr))
  16
  17
  18 (define (let*->let bindings body)
  19   (cond [(empty? bindings) '()]
  20         [else
  21          (let ([binding (car bindings)]
  22                [rest-bindings (cdr bindings)])
  23            (if (empty? rest-bindings)
  24                (cons 'let (cons (list binding) body))
  25                (cons 'let (cons (list binding) (list (let*->let rest-bindings body))))))]))
  26
  27 #|
  28
  29 (define (make-let bindings body)
  30   (cons 'let (cons bindings body)))
  31
  32 (define (let*->let bindings body)
  33   (cond [(empty? bindings) body]
  34         [else
  35          (make-let (list (car bindings))
  36                    (list (let*->let (cdr bindings) body))]))
  37 |#
  38
  39 (define (let*->nested-lets exp)
  40   (let ([bindings (let*-bindings exp)]
  41         [body     (let*-body exp)])
  42     (let*->let bindings body)))
  43
  44 ;; b
  45 #|
  46
  47 It is enough to add an action for let* expression in eval, as eval
  48 gets recursively called for the transformed expressions (assuming that
  49 eval has case handlers for let expression whose action is to transform
  50 into lambda expression application and eval it).
  51
  52 if we add the following action for let* expressions in eval:
  53
  54 (eval (let*->nested-lets exp) env)
  55  =>
  56 (eval (let-expression) env)
  57 =>
  58 (eval (let->combination exp) env)
  59 =>
  60 (eval (application exp parameters) env)
  61
  62
  63 |#