练习4-8

原文

Exercise 4.8. “Named let” is a variant of let that has the form

  1. (let <var> <bindings> <body>)

The and are just as in ordinary let, except that is bound within to a procedure whose body is and whose parameters are the variables in the . Thus, one can repeatedly execute the by invoking the procedure named . For example, the iterative Fibonacci procedure (section 1.2.2) can be rewritten using named let as follows: 

  1. (define (fib n)
  2.    (let fib-iter ((a 1)
  3.                   (b 0)
  4.                   (count n))
  5.       (if (= count 0)
  6.           b
  7.           (fib-iter (+ a b) a (- count 1)))))

Modify let->combination of exercise 4.6 to also support named let.

分析

希望大家还是有事没事看看原文啦，我才发现见过非常多次的modify原来是改动的意思。

关于named let的一些比較什么的，大家能够看这里：【Scheme归纳】3 比較do, let, loop。

从题目的代码中我们也能够看到named-let的名字能够用cadr来取出，也就是书中的fib-iter。而body部分从下面代码中也能够看出来得用3个cdr和1个car。

  1. (let <var> <bindings> <body>)

而parameter题中已经说了是binding中变量。取出binding用caddr，而取出题目演示样例中的a、b和count等则用map和car就可以。取出题目演示样例中的1、0和n则用map和cadr。

那么接下来我们还须要将named-let转换成函数，用list来构造这些就好，首先当然是’define。然后再用cons把name和parameter构造在一起，最后就是body啦。

当然了，在let->combination中我们须要推断是不是named-let?。那么怎么推断呢。先推断是否是let?，再推断expr的名字是不是符号（symbol?）。

最后就能够写let-combination啦。首先用写好的named-let?谓词来进行推断expr，然后为真的话就调用第257页的sequence->exp函数。否则就用cons来继续构造了。

代码


  2. (define (named-let-name expr)
  3.   (cadr expr))
  5. (define (named-let-body expr)
  6.   (cadddr expr))
  8. (define (named-let-parameters expr)
  9.   (map car (caddr expr)))
  11. (define (named-let-exp expr)
  12.   (map cadr (caddr expr)))
  14. (define (named-let? expr)
  15.   (and (let? expr) (symbol? (cadr expr))))  
  17. (define (named-let->func expr)
  18.   (list 'define
  19.     (cons (named-let-name epxr)
  20.           (named-let-parameters expr))
  21.     (named-let-body expr)))
  23. (define (let->combination expr)
  24.   (if (named-let? expr)
  25.       (sequence->exp
  26.        (list (named-let->func expr)
  27.          (cons (named-let-name expr)
  28.            (named-let-exp expr))))
  29.       (cons (make-lambda (let-vars expr)
  30.              (list (let-body expr)))
  31.         (let-exp expr))))

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

http://blog.csdn.net/nomasp

【SICP练习】152 练习4.8的更多相关文章

  1. Lisp和SICP

         大概不少programmer都看过<黑客与画家>,作者用了整整一章的篇幅讨论Lisp的强大.我自然就会手痒痒.      几个月前,几天内攻城略地搞定了Python,用的方法便是 ...

  2. SICP— 第一章 构造过程抽象

    SICP  Structure And Interpretation Of Computer Programs 中文第2版 分两部分  S 和 I 第一章 构造过程抽象 1,程序设计的基本元素 2,过 ...

  3. 《SICP》读后感：关于软件本质的一点思考

    摘要:软件本身不是目的,人类的需求才是目的,而软件只是达到目的的手段. 软件的本质在于控制复杂性,这个复杂性并非来自于计算机,也并非来自于现实世界,而是来自于人类的思维和知识体系. 软件被使用的广泛性 ...

  4. SICP 习题 (1.7) 解题总结

    SICP 习题 1.7 是对正文1.1.7节中的牛顿法求平方根的改进,改进部分是good-enough?过程. 原来的good-enough?是判断x和guess平方的差值是否小于0.001,这个过程 ...

  5. SICP 习题 (1.14)解题总结

    SICP 习题 1.14要求计算出过程count-change的增长阶.count-change是书中1.2.2节讲解的用于计算零钱找换方案的过程. 要解答习题1.14,首先你需要理解count-ch ...

  6. leecode 每日解题思路 152 Maximun Product Subarray

    问题描述: 问题链接:152 Maximum Product Subarray 在经典的算法解析中, 有关的分治和动态规划的,经典题型之一就是求最大子段和, 这道题就是他的变形:求最大子段积; 这个问 ...

  7. SICP 习题 (1.8) 解题总结

    SICP 习题1.8需要我们做的是按照牛顿法求平方根的方法做一个求立方根的过程. 所以说书中讲牛顿法求平方根的内容还是要好好理解,不然后面这几道题做起来就比较困难. 反过来,如果理解了牛顿法求平方根的 ...

  8. sicp第1章

    牛顿迭代法求平方: (define (sqrt-iter guess x) (if (good-enough? guess x) guess (sqrt-iter (improve guess x) ...

  9. SICP 阅读笔记(二)

    Chapter 1: Building Abstractions with Procedures 2015-09-29 016 Preface of this chapter QUOTE: The a ...

随机推荐

  1. PHP XML To Array将XML转换为数组

    // Xml 转 数组, 包括根键,忽略空元素和属性,尚有重大错误 function xml_to_array( $xml ) { $reg = "/<(\\w+)[^>]*?& ...

  2. 前端之JavaScript概述

    ECMAScript和JavaScript的关系 1996年11月,JavaScript的创造者--Netscape公司,决定将JavaScript提交给国际标准化组织ECMA,希望这门语言能够成为国 ...

  3. 【jQuery02】点击标题面板显示内容

    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...

  4. mybatis中 #跟$的区别

    #相当于对数据 加上 双引号,$相当于直接显示数据 1. #将传入的数据都当成一个字符串,会对自动传入的数据加一个双引号.如:order by #user_id#,如果传入的值是111,那么解析成sq ...

  5. 38.angular的scope作用域

    转自:https://www.cnblogs.com/best/tag/Angular/ 1. Scope(作用域) 是应用在 HTML (视图) 和 JavaScript (控制器)之间的纽带. S ...

  6. Python开源爬虫项目代码：抓取淘宝、京东、QQ、知网数据--转

    数据来源:数据挖掘入门与实战  公众号: datadw scrapy_jingdong[9]- 京东爬虫.基于scrapy的京东网站爬虫,保存格式为csv.[9]: https://github.co ...

  7. Idea的一些调试技巧及设置todo

    程序员的工作内容,除了大部分时间写代码之外,因为有不少的时间是用在调试代码上.甚至说不是在调试代码,就是即将调试代码. :) 今天我们来谈谈调试代码的一些技巧,在使用IDE提供的debugger时一些 ...

  8. package & import

    /* * package:声明源文件所在的包,写在程序的第一行. * 每“.”一次,表示一层文件目录. * 包名都要小写. * * import: * 1)显式导入指定包下的类或接口 * 2)写在包的 ...

  9. PostgreSQL中流复制pg_basebackup做了什么

    解压PostgreSQL源代码包后可以到如下路径:postgresql-9.2.4\src\backend\replication下可以看到,basebackup.c,另外还可以看到walreceiv ...

  10. hiho149周 - 数据结构 trie树

    题目链接 坑点:accept和deny的ip可能相同,需加个判断 #include <cstdio> #include <cstdlib> #include <vecto ...