SICP学习笔记（2.1.1 ~ 2.1.3）

                                                 SICP学习笔记（2.1.1 ~ 2.1.3）
                                                        周银辉

 

这几节相对比较简单，主要引入“抽象”和“封装”等一些思想，作者花了不少笔墨想将“抽象”的思想注入到读者的头脑的，但如果先前学过一些面向对象编程的话，这几节就可快速通过了（除了2.1.3，此节的内容有些醍醐灌顶，稍后再说） 

1，练习2.1

按照题目的意思，“如果分母分子同号，则分子分母都化为正；否则，分子化为负，分母化为正”。我将这句话转换成了下面这句话“如果分母为负，则分子分母都取相反数；否则分子分母保持不变”，两句话是对等的，不信试试看：

(define (make-rat n d)
  ;如果分母为负,则分子分母都取相反数
  (cond ((< d 0) (cons (- 0 n) (- 0 d)))
        ;否则分子分母保持不变
        (else (cons n d))))

(define (num z)
  (car z))

(define (den z)
  (cdr z))

(define a (make-rat 2 3))
(define b (make-rat -2 3))
(define c (make-rat 2 -3))
(define d (make-rat -2 -3))

;测试函数
(= (num a) 2)
(= (den a) 3)
(= (num b) -2)
(= (den b) 3)
(= (num c) -2)
(= (den c) 3)
(= (num d) 2)
(= (den d) 3)

上面的输出全部是#t （True），说明正确哈。 

2，练习2.2

首先由序对构造点，然后由点构造线段，最后定义其他函数：

(define (make-point x y)
  (cons x y))

(define (x-point p)
  (car p))

(define (y-point p)
  (cdr p))

(define (print-point p)
   (newline)
   (display "(")
   (display (x-point p))
   (display ",")
   (display (y-point p))
   (display ")"))

(define (make-segment a b)
  (cons a b))

(define (start-segment s)
  (car s))

(define (end-segment s)
  (cdr s))

(define (mid-segment s)
   (let ((start (start-segment s))
         (end   (end-segment s)))   
     (make-point (/ (+ (x-point start) (x-point end)) 2)
                 (/ (+ (y-point start) (y-point end)) 2))))

;test
(print-point (mid-segment (make-segment (make-point 2 3) (make-point 4 5))))

输出为 (3,4)

3, 练习2.3
求矩形周长和面积，直接略过了哈，比较简单。

4，数据意味着什么？

关于2.1.3，真的很想总结出点什么，但真的不知道如何总结，正如作者在脚注中所言“令人吃惊的是，将这一思想严格地形式化却非常困难”，只默默地建议仔细地通篇阅读，的确让“每天都在吼面向对象的我们”有些醍醐灌顶，正如用如下方式来定义序对（Pair）一样：
class Program
   {
       static void Main(string[] args)
       {
           var pair = MakePair(2, 3);

           Console.WriteLine(GetFirstElement(pair));
           Console.WriteLine(GetSecondElement(pair));
           DisplayPair(pair);

           Console.Read();
       }

       public delegate object PairDelegate(bool flag);

       public static PairDelegate MakePair(object a, object b)
       {
           return (flag) => { return (flag ? a : b); };
       }

       public static object GetFirstElement(PairDelegate pair)
       {
           return pair(true);
       }

       public static object GetSecondElement(PairDelegate pair)
       {
           return pair(false);
       }

       public static void DisplayPair(PairDelegate pair)
       {
           Console.WriteLine("( "+ GetFirstElement(pair) +" , "+ GetSecondElement(pair)+" )");
       }
   }

5，练习2.4

(define (cons2 x y)
  (lambda (m) (m x y)))

(define (car2 z)
  (z (lambda (p q) p)))

(define (cdr2 z)
  (z (lambda (p q) q)))

;test
(define a (cons2 3 5))
(car2 a)
(cdr2 a)

为了避免和系统预定义的标识符发生冲突，我将cons car cdr 后面都加了一个2。
要解此题关键在(lambda (m) (m x y)) 应该注意到这里的m应该是一个过程，而非普通变量。所以对(define (cons2 x y) (lambda (m) (m x y))) 的理解就应该变成“所谓cons2，就是它接受一个过程，并将该过程应用到参数x和y”。那么要定义car2，则应该“传入一个过程，该过程会接受两个参数，并且返回第一个参数”，同理，要定义cdr2，则应该“传入一个过程，该过程会接受两个参数，并且返回第二个参数”。

6，练习2.5

如果 (2^a) * (3^b) = z, 求 a 和 b

这个题比较有意思，表面上看一个二元方程只有一个表达式，貌似求不出来。这这个题的中幂底数比较巧合：一个奇数和一个偶数。所以，对于求a，如果m为奇数的话，那么a一定为0，否则 a = a‘ + 1， 其中a‘是 (2^a‘) * (3^b) = z/2的解，所以代码如下：

;定义 a^n
(define (pow a n)
  (define (pow-inner a counter result)
    (if (= 0 counter)
        result
        (pow-inner a (- counter 1) (* result a))))
  (pow-inner a n 1))

;定义序对
(define (cons2 a b)
  (* (pow 2 a) (pow 3 b)))

;定义car
(define (car2 z)
  (if (= (remainder z 2) 0)
      (+ 1 (car2 (/ z 2)))
      0))

同理，如果 z 除以3的余数不为0，那么b一定为0，否则 b = b‘ + 1， 其中 b‘ 是(2^a) * (3^b‘) = z/3的解。

;定义cdr
(define (cdr2 z)
(if (= (remainder z 3) 0)
     (+ 1 (cdr2 (/ z 3)))
     0))

7，练习2.6

在SICP学习笔记（1.3.2 ~ 1.3.3）的“lambda计数”中已经给出答案了，跳转到那里去找答案吧。

 

注：这是一篇读书笔记，所以其中的内容仅属个人理解而不代表SICP的观点，并随着理解的深入其中的内容可能会被修改