第二章 Do it, Do it Again, and Again, and Again...
假设l是 (Jack Sprat could eat no chicken fat) 那么 (lat? l)是真还是假
真。因为每个list表l中的 S-expression 都是atom原子。
假设l是 ((Jack) Sprat could eat no chicken fat) 那么 (lat? l)是真还是假
假。因为(car l)是一个list。
假设l是 (Jack (Sprat could) eat no chicken fat) 那么 (lat? l)是真还是假
假。因为list表l的其中一个 S-expression 不是list。
假设l是()，(lat? l)是真还是假
真。因为list表l中没有list表。
请问：lat是一个list表的atom原子对吗?
对。每个lat都是一个list表的atom原子。
用以下函数写一个lat?函数
car cdr cons null? atom? 和eq?
你现在还不能完成这个问题，因为你还有些东西有学到。看下面一个问题。
Are you rested?
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define lat?
(lambda (l)
(cond
((null? l) #t)
((atom? (car l)) (lat? (cdr l)))
(else #f))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
假设l是 (bacon and eggs)，那么(lat? l)是什么
#t——真——因为l是一个lat
注：Lisp中：
(defun lat? (l)
(cond
((null l) t)
((atom? (car l)) (lat? (cdr l)))
(t nil)))
我们怎么推知(lat? l)的答案是 #t
现在这个问题你也回答不了。这个问题由lat?的查询决定。
提示：写下lat?的定义然后看下面的系列问答。
(lat? l) 的第一个查询是什么
(null? l)
注意：
(cond ...) 提问
(lambda ...) 产生函数
(define ...) 给出函数名
cond行 ((null?l) #t)是什么意思 其中l是 (bacon and eggs)
(null? l) 查询参数l是否是null。如果是，则是真；否则为假，cond执行下一个查询。
下一个查询是什么
(atom? (car l))
下面这行是什么意思，其中l是(bacon and eggs)
((atom? (car l)) (lat? (cdr l)))
(atom? (car l))询问list表l的第一个 S-expression 是否是atom。r如果(car l)是一个atom原子，那么我们要知道l的其余组成部分是否是atom原子。如果(car l)不是atom原子，我们询问下一个查询。在当前情况下(acr l)是一个atom原子，所以值由函数(lat? (cdr l))决定。
(la? (cdr l))是什么意思
(lat? (cdr l))通过lat?查询新的参数发现是否list表l的剩余组成部分都是是atom原子。
现在lat?的参数l是什么
现在的l是(cdr l)，也就是(and eggs)
下一个查询是什么
(null? l)
下面这行是什么意思，其中l现在是 (and eggs)
((null? l) #t)
(null? l) 查询参数l是否是null。如果是，则是#t真；否则cond执行下一个查询。
下一个查询是什么
(atom? (car l))
下面这行是什么意思，其中l是(and eggs)
((atom? (car l)) (lat? (cdr l)))
(atom? (car l))询问list表l的第一个 S-expression 是否是atom。r如果(car l)是一个atom原子，那么我们要知道l的其余组成部分是否是atom原子。如果(car l)不是atom原子，我们询问下一个查询。在当前情况下(acr l)是一个atom原子。
(la? (cdr l))是什么意思
(lat? (cdr l))通过lat?查询新的参数发现是否list表l的剩余组成部分都是是atom原子，这一次(cdr l)是(eggs)。
下一个查询是什么
(null? l)
下面这行是什么意思，其中l现在是 (eggs)
((null? l) #t)
(null? l) 查询参数l是否是null。如果是，则是#t真；否则cond执行下一个查询。此情况下，l不是null，所以查询下一个问题。
下一个查询是什么
(atom? (car l))
下面这行是什么意思，其中l是(and eggs)
((atom? (car l)) (lat? (cdr l)))
(atom? (car l))询问list表l的第一个 S-expression 是否是atom。r如果(car l)是一个atom原子，那么我们要知道l的其余组成部分是否是atom原子。如果(car l)不是atom原子，我们询问下一个查询。在当前情况下(acr l)是一个atom原子，所以再一次我们查询(lat? (cdr l))。
(la? (cdr l))是什么意思
(lat? (cdr l))通过lat?查询新的参数发现是否list表l的剩余组成部分都是是atom原子，其中新查询的参数l变为(cdr l)。
现在lat?的参数是什么
()
下面这行是什么意思，其中l现在是 ()
((null? l) #t)
(null? l) 查询参数l是否是null。如果是，则是#t真；否则cond执行下一个查询。此情况下，l是空表()，所以(lat? l是#t真，其中l是(bacon and eggs)。
还记得(lat? l)的查询吗
记不得了吧? 当l为(bacon and eggs)时，操作(alt? l)的值为#t
你可以用自己的语言描述一下函数lat?做了什么吗
这是我们的描述
“lat? 查找list表中的每一个 S-expression表达式，看每一个 S-expression表达式是否是atom原子，直到没有 S-expression了。如果从头至尾没有遇到一个list表，那么返回#t，否则返回#f——false”
下面再写一次lat?的定义
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define lat?
(lambda (l)
(cond
((null? l) #t)
((atom? (car l)) (lat? (cdr l)))
(else #f))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(lat? l)的值是多少，其中l现在是(bacom (and eggs))
第一个查询是什么
(null?l)
((null?l) #t)是什么意思 其中l是 (bacon (and eggs))
(null? l) 查询参数l是否是null。如果是，则是真；否则为假，cond执行下一个查询。此情况下，l非空，进行下一个查询。
下一个查询是什么
(atom? (car l))
下面这行是什么意思，其中l是(bacon (and eggs))
((atom? (car l)) (lat? (cdr l)))
(atom? (car l))询问list表l的第一个 S-expression 是否是atom。r如果(car l)是一个atom原子，那么我们要知道l的其余组成部分是否是atom原子。如果(car l)不是atom原子，我们询问下一个查询。在当前情况下(acr l)是一个atom原子，所以我们查询list表l的剩余部分看是否都是原子。
(la? (cdr l))是什么意思
(lat? (cdr l))通过lat?查询新的参数发现是否list表l的剩余组成部分都是是atom原子，其中把l替换为(cdr l)。
下面这行是什么意思，其中l现在是 ((and eggs))
((null? l) #t)
(null? l) 查询参数l是否是null。如果是，则是#t真；否则cond执行下一个查询。
下一个查询是什么
(atom? (car l))
下面这行是什么意思，其中l是((and eggs))
((atom? (car l)) (lat? (cdr l)))
(atom? (car l))询问list表l的第一个 S-expression 是否是atom。r如果(car l)是一个atom原子，那么我们要知道l的其余组成部分是否是atom原子。如果(car l)不是atom原子，我们询问下一个查询。在当前情况下(acr l)不是一个atom原子，进行下一个查询。
下一个查询是什么
else
else查询是什么意思
else查询是否为真
else是真吗
是的，else总是真。
else
当然of course
为什么else是最后一个查询
因为我们不需要其它查询
为什么我们不需要其它查询
因为list可以是空表，也可以在第一个位置是atom原子，也可以在第一个位置是list表
(else #f) 是什么意思
else查询else是否是真。else本身是真查询#f，得到#f假。
))) 解释下
匹配前边的(cond ..,(lambda...和(define...括号
你能描述一下我们如何得出(lat? l) 是 #f的，其中l是(baco (and eggs))
一种解释是
“(lat? l)查询参数中的每一项是否是原子。如果在发现一个list之前就结束，那么值是#t。如果如这个例子(bacon (and eggs))中它找到一个list，那么(lat? l)的值就是#f”
问(or (null? l1) (atom? l2))是真还是假， 其中l1是()，l2是(d e f g)
真，因为(null? l1)是真。
问(or (null? l1) (null? l2))是真还是假， 其中l1是(a b c)，l2是(a b c)
真，因为(null? l2)是真。
问(or (null? l1) (null? l2))是真还是假， 其中l1是(a b c)，l2是()
真，因为(null? l2)是真。
问(or (null? l1) (null? l2))是真还是假， 其中l1是(a b c)，l2是(atom)
假，因为无论(null? l1)还是(null? l2))是都是假。
(or ...)是做什么的
(or ...)查询两个问题，每次一个。如果第一个是真那么停止并回答真。否则查询第二个问题并以第二个问题的回答作为答案。
问a是否是lat的一个成员，其中a是tea，lat是(coffee tea or milk)
真。
问(member? a lat) 是真还是假，其中a是poached，lat是(fried eggs and scrambled eggs)
假。
下面是函数member?的定义
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define member?
(lambda (a lat)
(cond
((null? lat) #f)
(else (or (eq? (car lat) a)
(member? a (cdr lat)))))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
问(member? a lat)是什么 其中a是meat，lat是(mashed potatoes and meat gravy)
#t,因为atom原子meat是lat中的一个原子。
我们怎么推知是#t
值由查询(member? a lat)得到。提示：写出member?函数然后对照下面的问题。
(member? a lat)的第一个查询是什么
(null? lat)。这也是lat?的第一个查询。
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
The First Commandment
第一戒
(开端)
任何函数的第一个查询表达式重视null?
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
((null? lat) #f) 其中lat是(mashed potatoes and meat gravy)
(null? lat) 查询参数l是否是null。如果是，则值是#f，；否则为假，cond执行下一个查询。
下一个查询是什么
else。
为什么else是下一个查询
因为我们不需要其它查询。
else真的是一个查询吗
是的，else总是真。
下面这行是什么意思
(else (or (eq? (car lat) a)
(member? a (cdr lat))))
现在我们知道lat不是null，我们必须找出lat的car是不是a，或者lat的其他地方是不是a。
问a是meat，lat是(mashed potatoes and meat gravy)时
(or (eq? (car lat) a)
(member? a (cdr lat))))
是真还是假
下面一点点分析
问a是meat，lat是(mashed potatoes and meat gravy)时，(eq? (car lat) a)是真还是假
假。
(or ...)的第二个查询是什么
(member? a (cdr lat))。递归查询函数menber?，参数lat变为(cdr lat)
现在member?的参数是什么
lat现在是(cdr alt),即(potatoes and meat gravy)
下一个查询是什么
(null? lat)。记得第一戒。
当lat是(potatoes and meat gravy)时，(null? lat) 真还是假
#f假。
下面做什么
下一个查询。
下面这行是什么意思
(or (eq? (car lat) a)
(member? a (cdr lat))))
的出a是否与lat的car是eq?相同或者递归查找a是否是lat的cdr中的成员。
下面做什么
查询(member? a (cdr lat)
现在member的参数是什么
a是meat，lat是(and meat gravy)
下一个查询是什么
(null? lat)
下面做什么
因为(null？lat)是假，下一个查询
是什么
else
下面的代码是什么值
(or (eq？ (car lat) a)
(member? a (cdr lat)))
#t真。因为(car lat)即meat与a相同都是原子meat，所以(or ...)是真。
(member? a lat)的值是什么，其中a是meat，lat是(meat gravy)
#t
(member? a lat)的值是什么，其中a是meat，lat是(and meat gravy)
#t
(member? a lat)的值是什么，其中a是meat，lat是(potatoes and meat gravy)
#t
(member? a lat)的值是什么，其中a是meat，lat是(mashed potatoes and meat gravy)
#t
为了确保你的确会了，让我们快速的再来一次
(member? a lat)的值是什么，其中a是meat，lat是(mashed potatoes and meat gravy)
提示：写下member?函数的定义然后参考下面的问题。
(null? lat)
否
else
是
(or (eq? (car lat) a)
(member? a (cdr lat))))
或许
(eq? (car lat) a)
否，下个查询
是什么
函数递归参数a和(cr lat)，a是meat，(cdr lat)是(potatoes and meat gravy)。
(null? lat)
否。下一行。
else
是，但是(eq? (car lat) a) 为否。函数递归参数a和(cdr lat)，a为meat，(cdr lat)为(and meat gravy)
(null? lat)
否。下一行。
else
是，但是(eq? (car lat) a)为否。函数递归参数a和(cdr lat)，
a是meat，lat是(meat gravy)。
(null? lat)
否，下个查询。
(eq? (car lat) a)
是，值为#t。
(or (eq? (car lat) a)
(member? a (cdr lat))))
#t
回溯上去知道a为meat，lat为(mashed potatoes and meat gravy)时为#t真。
(member? a lat)的值是什么，其中a是liver，lat是（bagels and ox)
#f
让我们看看为什么是#f。第一个查询是什么
(null? lat)
(null? lat)
否。下一行。
else
是，但是(eq? (car lat) a)是false。函数递归参数a和(cdr lat)，其中a是liver，(cdr lat)是(and lox)。
(null? lat)
否，下个查询
else
是，但是(eq? (car lat) a)是false。函数递归参数a和(cdr lat)，其中a是liver，(cdr lat)是(lox)。
(null? lat)
否，下个查询
else
是，但是(eq? (car lat) a)是false。函数递归参数a和(cdr lat)，其中a是liver，(cdr lat)是()。
(null? lat)
是。
(member? a lat)的值是什么，其中a是liver，lat是()
#f
下面的代码是什么值，其中a是liver，lat是(lox)
(or (eq? (car lat) a)
(member? a (cdr lat)))
#f
(member? a lat)的值是什么，其中a是liver，lat是(lox)
#f
下面的代码是什么值，其中a是liver，lat是(and lox)
(or (eq? (car lat) a)
(member? a (cdr lat)))
#f
(member? a lat)的值是什么，其中a是liver，lat是(and lox)
#f
下面的代码是什么值，其中a是liver，lat是(bagels and lox)
(or (eq? (car lat) a)
(member? a (cdr lat)))
#f
(member? a lat)的值是什么，其中a是liver，lat是(bagels and lox)
#f
相信这些吗？你可以休息下了！
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 2.5 China Mainland License.