SICP 笔记 Lec2b Compound Data Part 3 & Part 4

Lec2b 复合数据Compound Data
 
Part 3
41" - 56"
从有理数类比到用二维坐标来表示点的位置,而两个点即可表示一个线(向量)。
 
1.
引入Closure(闭包)的概念
我的理解:
所有的object可以被“完整”地封装,作为其他object的一部分。这个过程可以无穷无尽地进行下去,其所有的性质不会损耗。
即“道生一,一生二,二生三,三生万物”。
(如fortan就的数组(arrays)就不具有这种性质,array的元素不能是array。
 
2.
利用抽象层来分隔概念,强调抽象(Abstraction)的重要性。

Name 通过给每个小的成分命名,来分隔过程。使得其中一些部分的改变不需要影响全局。
 
 
Part 4
56"
再次强调Abstraction的重要性,愈发地模糊了data和procedure的边界。
1.
衡量标准
Contracts
衡量标准也可以作为概念的另一种表达方式。
 
We can say a rational number really is just this axiom(below)
 
Eg.
IF X = (MAKE-RAT N D)
THEN
(NUMBER X)/(DENOM X) = N/D 
 
2.
抽象的最底层,没有所谓pairs的定义,而是“绝对的”抽象

(define (cons a b)
    (lambda (pick)
            (cond ((= pick 1) a)
                    ((= pick 2) b))))
(define (car x) (x 1))
(define (cdr y) (y 1))
 
 
从这里可以发现,“有理数”与其说是一个“数据”结构,不如说是返回的一个lambda的procedure。
 
Q&A:
Q:
这些有理数的procedure存储在何处?
A:
procesudure也是一个object。
过程不仅仅是做“做事情”,还是概念实体(conceptual entities),是对象(object)。

上一篇:buuctf-[网鼎杯 2018]Fakebook 1


下一篇:Windows Server 2012 R2 安装 vmware tools 失败排查记录