【SICP练习】150 练习4.6

练习4-6

原版的

Exercise 4.6. Let expressions are derived expressions, because

(let (( ) … ( )) )

is equivalent to

((lambda ( … ) ) )

Implement a syntactic transformation let->combination that reduces evaluating let expressions to evaluating combinations of the type shown above, and add the appropriate clause to eval to handle let expressions.

分析

这道题须要我们将let表达式转换成对应的表达式。

(let (( ) … ( )) )

从上面的演示样例我们能够看到在let表达中。如果其为expr。用cdr能够得到(( ) … ( ))，然后再用高阶函数map搭配car来取出所有的var。

相同的，如果要取出exp部分，先用cadr，再用高阶函数map搭配cadr。

而body部分用caddr就能够直接求出了。

然后就能够開始写let->combination，其传入一个參数expr。

((lambda ( … ) ) )

依据这段演示样例代码呢，我们先调用书中第256页的make-lambda来构造前面的一部，这个函数有两个參数parameter和body。

这样一来就所有都完毕了，当然了，还须要将let?

增加到eval中。在此之前也要定义let?

。

相同要调用第256页的tagged-list?

。那么接下来就是详细的代码咯。

代码

(define (let-vars expr) (map car (cadr expr)))

(define (let-exp expr) (map cadr (cadr expr)))

(define (let-body expr) (caddr expr))

(define (let->combination expr)
  (cons (make-lambda (let-vars expr) (let-body expr))
    (let-exp expr)))

(define (let?

expr) (tagged-list?

expr 'let))

((let?

expr) (eval (let->combination expr) env))

---

---

感谢您的訪问，希望对您有所帮助。

欢迎大家关注或收藏、评论或点赞。

---

为使本文得到斧正和提问，转载请注明出处：

http://blog.csdn.net/nomasp

---

版权声明：本文 NoMasp王克在 原创文章，未经授权严禁转载！欢迎到我的博客：http://blog.csdn.net/nomasp