博客园-三磊

sicp习题试解 (1.5)（转）

三磊 — Tue, 20 May 2008 09:29:00 GMT

======================================================================
;
;          Structure and Interpretation of Computer Programs
;                  (trial answer to excercises)
;
;                  计算机程序的构造和解释(习题试解)
;
;                                             created: code17 02/24/05
;                                             modified:
; (保持内容完整不变前提下，可以任意转载)
; ======================================================================

;; SICP No.1.5
;; 本题为理解题

;; (define (p) (p))
;;
;; 相当于定义了一个无限递归函数p, p作为operator，以0个operant为参数。根据定义
;; 可知，(p)会被evalute为(p), 而(p)再evaluate为(p). 无穷尽。
;; p自身作为一个procedure是没有问题的，我们允许定义递归函数，但当p作用于operant
;; 时，(p)是有问题的，因为它的evaluation是无限递归的。所以，可知，在scheme中，
;; ()的作用决不仅是优先级的控制工具，而是不可忽略的语义控制工具。p 是一个函数，
;; 而(p)是函数p作用于其参数(0个)后的返回值。
;;
;; Test-it:
;; Welcome to MzScheme version 209, Copyright (c) 2004 PLT Scheme, Inc.
;; > (define (p) (p))
;; > p
;; #<procedure:p>
;; > (p)
;; 交互解释器在此失去反应

;; (define (test x y)
;;  (if (= x 0)
;;      0
;;      y))
;; (test 0 (p))
;;
;; 因此，测试函数在不同原则的evaluation顺序下的结果就很容易推测了。在
;; normal-order evaluation原则下，只有当一个表达式的值被需要的时候才
;; evaluation， (test 0 (p)) 将被evaluate 为 (if (= 0 0) 0 (p))，
;; 因为判断条件成立，最后表达式evaluate为0，不需要计算(p)的值，从而
;; 避免了无限递归的发生；而在applicative-order的原则下，所有的
;; operants必须在代入前evaluate，因此(p)的计算无法避免，结果是无限递归。
;;
;; Test-it:
;; > (test 0 (p))
;; 交互解释器在此失去反应, 因为scheme使用applicative-order evaluation

;; 如果我们定义
;; (define (p) p)
;; 则是另外一个意思，它定义了一个有0个operant的函数p, 当它作用于其operant
;; 时，返回置为其自身，这样我们有(p)被evaluate为p，那么((p))被evaluate为
;; (p) 然后再evaluate为p，那么((((((p))))))
;;
;; Test-it:
;; > (define (p) p)
;; > p
;; #<procedure:p>
;; > (p)
;; #<procedure:p>
;; > ((p))
;; #<procedure:p>
;; > (((((((((((((((((((((((p)))))))))))))))))))))))
;; #<procedure:p>

[新闻]Google推出Android Market挑战App Store

SICP 学习之原由。

三磊 — Mon, 19 May 2008 03:58:00 GMT

摘要: SICP 学习之原由。阅读全文

[新闻]美国年轻人最喜欢的15大网站

活着就好

三磊 — Thu, 15 May 2008 01:10:00 GMT

汶川地震，死了这么多人。看着数字就心寒。
死了的就不活，还活着的需要救助。
全国人民有钱的出钱，有力的出力，想我没钱又没力的，只能出血了。
昨天去献血了，虽然排了5个小时队，虽然只有区区400ml，但也算是为灾区人民尽了一点自己的绵薄之力了。
祝愿汶川灾区人民和其他所有在苦难中的人们，都能平安。
记得前天报纸上看到一个从地震区自己爬出来的幸存者说：活着就好。

[新闻]2008年8月30日IT博客精选

我的组织机构表设计。

三磊 — Fri, 14 Mar 2008 02:47:00 GMT

摘要: 我的组织机构表设计。拿出来晒晒，不足之处万望指正。阅读全文

[新闻]《极品飞车12》最新真人照片、游戏截图

谈谈我对项目的看法

三磊 — Thu, 06 Mar 2008 09:40:00 GMT

摘要: 业余程序员，讲些业余的项目看法。-- 业余板砖收集工

今天早上临下公车时，无意间看到报纸上的大标题：软件工程师--用改变拿着高薪。我还够不上“工程师”这个称呼，也够不上“高薪”，但 “改变”两字确是我们时刻所面对的。阅读全文

[新闻]IBM正在开发超强性能4TB固态硬盘阵列

本人写博，是为收砖盖房子。

三磊 — Wed, 05 Mar 2008 02:16:00 GMT

    我一没文采，二不是高手。本不该学人家开博客，写文章。似我这样的人，即使写了文章也是挨人板砖的份。然思前想后，最后还是决定试上一试。
    最初想法是因博客园中推荐英文文章中有一篇教人如何成为高手，本人英文奇烂，那个英文文章是从头到尾不识几字。却偏偏让我看懂了那一句：“把自己的想法写出来”（意译）。于是就忽然有了写博的想法。
    虽有想法，但一直都未付诸实施。最后在看怪怪的文章的时才坚定了我的决心。怪怪可说是篇篇文章与人背道而驰，但细细看去却不免让人产生同感，无处反驳。引用怪怪刚发的一篇博的标题的一段：“我们就TM不专业了, 怎么了?”，写博就非得是高手？就非的是精通这个精通那个？我把自己的想法，思维写出来，怎么就降低博客园的质量，怎么就该遭人鄙视了？被人鄙视了，我就不能写了？当然凭我现在的水平，也自知没有教人的本领，也不想占首页那宝贵的空间。
    最后，感叹一下：学如逆水行舟，不进则退。我已经几年没有动手写过一篇文章了，就这么几个字，竟写了我十来分钟。真不知道要是写的长点的文章要花费我多少时间。也罢，就借这个写博的机会，好好复习下语文吧。

[新闻]Microsoft F# CTP(2008年9月)