第二章 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.

the little schemer 笔记(2)的更多相关文章

  1. the little schemer 笔记(0)

    the little schemer 笔记 Z.X.L 2012年08月13日 五项规则 car的规则car只对非空列表有定义. cdr的规则cdr只对非空列表有定义.任何非空列表的cdr是另外一个列 ...

  2. the little schemer 笔记(10)

    第十章 What Is  the Value of All of This? entry条目 是由list表组成的 pair 对,pair 对的第一个list表是集合 set.另外,两个list表的长 ...

  3. the little schemer 笔记(3)

    第三章 cons the magnificent (rember a lat)是什么,其中a是mint,lat是(lamb chops and mint jelly) (lamb chops and ...

  4. the little schemer 笔记(10.1)

    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 2.5 China Mainla ...

  5. the little schemer 笔记(9)

    第九章 ...and Again, and Again, and, Again, ... 你想来点鱼子酱吗? 那就去找它吧. (looking a lat)是什么,其中a是 caviar, lat是( ...

  6. the little schemer 笔记(8)

    第八章 lambda the ultimate 还记得我们第五章末的rember和insertL吗 我们用equal?替换了eq? 你能用你eq?或者equal?写一个函数rember-f吗 还不能, ...

  7. the little schemer 笔记(5)

    第五章 “Oh My Gawd”:It's Full of Stars (rember* a l)是什么,其中a是cup,l是((coffee) cup ((tea) cup) rember*发音为r ...

  8. the little schemer 笔记(7)

    第七章 Friends and Relations 这是一个set集合吗 (apple peaches apple plum) 不是,apple出现了不止一次 (set? lat) 是真还是假,其中l ...

  9. the little schemer 笔记(6)

    第六章 Shadows 1 是算术表达式吗 是 3 是算术表达式吗 是的 1+3 是算术表达式吗 是的 1+3×4 是算术表达式吗 当然是 cookie 是算术表达式吗 是啊,你需要来一块吗 e那么 ...

  10. the little schemer 笔记(4)

    第四章 numbers games 14 是原子吗 是的,数都是原子 (atom? n) 是真还是假,其中n是14 真,14 是原子 -3是数吗 是的,不过我们暂不考虑负数 3.14159是数吗 是的 ...

随机推荐

  1. Django-权限信息初始化

    数据库 from django.db import models class Menu(models.Model): """ 菜单组: """ ...

  2. (转载)js(jquery)的on绑定点击事件执行两次的解决办法

    js(jquery)的on绑定点击事件执行两次的解决办法—不是事件绑定而是事件冒泡 遇到的问题:jquery中用.on()给页面中新加的元素添加点击事件时,点击事件源,绑定的事件执行两次,这里的ale ...

  3. 根据查询出各地订单商品数量 group by

    order订单表,orderprduct订单商品表,area地区表 SELECT (a1.Name+a2.Name+a3.Name) AS areanaem,orderArea.AreaId,orde ...

  4. 运用Links方法安装插件

    方法如下: (1)在Eclipse的安装目录下新建两个文件夹:一个用来存放插件,取名为myplugins:另一个用来存放link文件,取名为links. (2)将下载的插件解压缩到myplugins目 ...

  5. Mysql的Merge存储引擎实现分表查询

    对于数据量很大的一张表,i/o效率底下,分表势在必行! 使用程序分,对不同的查询,分配到不同的子表中,是个解决方案,但要改代码,对查询不透明. 好在mysql 有两个解决方案: Partition(分 ...

  6. ie67 display:inline-block 失效解决方法

    先将其转化为块状,在转化为inline,*号为css hcak,代表针对IE67 display: inline-block; *display: block; *display: inline;

  7. oracle服务丢失的处理方法之OracleServiceORCL不存在示例

    oracle服务是oracle数据库的重要组成部分,下面就教您oracle服务丢失的处理方法,如果您之前遇到过oracle服务丢失的问题,不妨一看. 今天发现数据库服务器上的所有oracle服务都丢失 ...

  8. AJAX 用户验证方法

    JSP <td width="10%" class="main_matter_td">真实姓名</td> <td width=&q ...

  9. Loadrunner11打开WebTours只显示头部解决办法

    1.遇到这种情况,先查看一下路径HP\LoadRunner\WebTours下的cgierr日志中是否有错误,比如Can't open perl script "D:\Program&quo ...

  10. Css之cursor 属性

    url        需使用的自定义光标的 URL. 注释:请在此列表的末端始终定义一种普通的光标,以防没有由 URL 定义的可用光标. default 默认光标(通常是一个箭头) auto 默认.浏 ...