2.1数据抽象引导

计算机程序的构造和解释(笔记)

数据抽象引导

• MIT-SCHEME 的使用帮助网站

• 基本思想： 设法构造一些使用复合数据对象的程序，使用它们好像是在“抽象数据”上操作一样。

• 两个基本过程： 选择函数(selector)和构造函数(constructor)

2.1.1 有理数的算术运算

• 序对　： 通过过程 cons (构造函数)，car(Contents of Address part of Register)和
  cdr(Content of Decement part of Register)组成

(define x ( cons 1 2) )

(car x)

1

(cdr x)   ; 念为("could-er")

2

2.1.2 抽象屏蔽

类似C++中的封装概念，有理数的实现可以基于下列的组合来实现

2.1.3 数据意味着什么

消息传递: 程序设计中，数据的过程性的设计风格

• 一个非常好玩的习题2-6： Church计数维基词条

定义了0到n有理数的概念(通过0 +1 来达到N)
代码见下：

;zero
(define zero
  (lambda (f)
      (lambda (x)x )))

;add-1
(define  (add-1 n) (lambda (f) (lambda (x) (f ((n f)x ))))

;one
(define one
    (lambda (f)
        (lambda (x)
            (f x))))
;two
(define two
    (lambda (f)
        (lambda (x)
            (f (f x)))))

具体可以见习题答案url

2.1.4 扩展练习