SICP练习1.6的问题

  大概不少programmer都看过<黑客与画家>,作者用了整整一章的篇幅讨论Lisp的强大.我自然就会手痒痒.      几个月前,几天内攻城略地搞定了Python,用的方法便是用Py重写之前开发的类库,这样就能很快熟悉语法,培养语感.喜上眉梢的我,也尝试将同样的策略用在Lisp上,我开始查看它的语法和函数,比如如何定义类和函数,如何赋值等等.      但我慢慢发现,Lisp几乎都不需要学语法,就是括号和几个基本过程,无非就是lambda, define, let,cons,car,cd

在学习书中第二章的时候有个问题一直让我很困扰,那就是2.2.4节的实例,因为没法输出书中华丽的图案,只能是一对英文字母.这在几个月前浅浅的学了一会Common Lisp的时候也是如此,当时看到书中有个实例是书中输出了很赞的线条,而我只会输出一堆点.后来才知道让Lisp输出图形化界面是更高层次的工程,想想还是先把SICP搞定. 上一篇博文中我们谈到了复合数据,关于它有两个重点.第一,数据抽象,这也就意味着你可以隔离那些数据对象.第二,在Lisp中有个特殊的方式能够黏住一些东西,它就是pair,而c

关于数据抽象,有两个很重要的思想.一是在构建一些水平的抽象障碍在这个系统中.用某些对象来代换这些单独使用的抽象屏障.二是当需要使用某种形式的数据对象时,往往可以由其他人来将其实现,而我们并不需要知道具体操作.这都是在数据抽象方面非常强大的编程方法. 但是这还不足以完成一个真正复杂的系统.在这里的问题出在"其他人",作者常举的例子是Georges.归结来说,有很多人都工作在这个系统上,但所有的这些设计表达式很显然是不兼容的.问题是所有的整个系统却又不可能由一个人来完成,可又无法让所有的实

 练习1.1 这道题主要是关于简单的数字运算,我们看完之后可以在MIT-Scheme中进行验算.如果环境不熟悉,可以参见[Scheme归纳]的第一篇博文.如果发现在MIT-Scheme等环境上的运算结果和自己算的不一样,也应该再仔细看看在书写代码的时候有没有手误.   练习1.2 这是一道将表达式转换成前缀形式的题目,博主最喜欢Lisp中的一大堆括号了.写完之后在Mit-Scheme中进行运算试试.   练习1.3 (define (sum-of-max x y z)         (co

上一篇博文对应的是书中的第一章的一二两节,我们已经大致的有了一种构造的感觉不是么.书中展示了很多有趣的句法(syntax).现在我们要让思想进一步的抽象,写这篇博客的时候并未学完整本书,更不敢说对书中的内容有一个多深的领悟.但我一路学习过来,就感觉书中的示例越来越抽象,作者所引导我们的也是如此方向.博文也会持续更新下去,伴随着我的理解. 在这个专栏的[Scheme归纳]4 高阶函数中已经初步介绍了什么是高阶函数(Higher-order Procedures).而在这一节中,将用高阶函数来做抽象

习题3.6,我的实现如下: (define rand   (let ((x 3))      (lambda(arg)       (cond((eq? arg 'generate)             ((lambda()(set! x (rand-update x)) x)))            ((eq? arg 'reset)             (lambda(init) (set! x init) (set! x (rand-update x)) x))         

SICP第三章题解 标签(空格分隔): SICP [toc] ex3-17 统计一个表结构中的序对个数 (define (count-pairs x) (count-helper x '())) (define (count-helper x seq) (if (memq? x seq) (count-helper (cdr x) seq) (count-helper (cdr x) (list x seq)) ) ) ex3-18 判断一个表中是否包含环. 我的思路:还是用memq去判断. (

4.27, ;;; L-Eval input: (define count 0) ;;; L-Eval value: ok ;;; L-Eval input: (define (id x)   (set! count (+ 1 count))   x) ;;; L-Eval value: ok ;;; L-Eval input: (define w (id (id 10))) ;;; L-Eval value: ok ;;; L-Eval input: count ;;; L-Eval valu

本节开始进入第4章最后一部分--逻辑程序设计.scheme将实现一种查询语言,非常类似prolog.由于解释器的实现在后面,还未读到,前面的习题我都将用prolog做测试,当然也给出scheme版本的解答,待以后测试.     首先给出依照书中所述写出的prolog事实库: address('BitDiddle Ben','Slumerville','Ridge Road',10). address('Hacker Alyssa P','Cambridge','Mass Ave',78). ad

练习3-38 原文 Exercise 3.38. Suppose that Peter, Paul, and Mary share a joint bank account that initially contains 100. Concurrently, Peter deposits 10, Paul withdraws 20, and Mary withdraws half the money in the account, by executing the following comma