练习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柯于旺 原创文章，如需转载请联系本人。