zoukankan      html  css  js  c++  java
  • 【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

  • 相关阅读:
    用表组织数据
    SQL Server 2008创建数据库
    c#字符串常用方法
    属性升级介绍
    c#语法
    初识C#
    CSS动画
    YCSB性能测试工具使用
    高性能的Redis代理TwemProxy
    JVM垃圾回收总结
  • 原文地址:https://www.cnblogs.com/mengfanrong/p/4890054.html
Copyright © 2011-2022 走看看