{"componentChunkName":"component---src-templates-blog-post-js","path":"/the-little-schemer-summary-2/","result":{"data":{"site":{"siteMetadata":{"title":"星雨之夜"}},"markdownRemark":{"id":"2eb08d27-8553-5088-94c6-7b11162910ba","excerpt":"准备知识 : 判断 S-表达式 是否为一个原子。 : 总是 true。 : 询问两个问题 和 ，一次问一个。如果 的答案为 true，则停止问第二个问题 ，答案为 true。否则继续询问，答案为 的答案（true 或者 false）。 : 问问题。 : 创建一个函数。 : 为函数命名。 Scheme…","html":"

准备知识

\n

(atom? a) : 判断 S-表达式 a 是否为一个原子。
\n(else ...) : 总是 true。
\n(or a b) : 询问两个问题 a 和 b，一次问一个。如果 a 的答案为 true，则停止问第二个问题 b，答案为 true。否则继续询问，答案为 b 的答案（true 或者 false）。

\n

(cond ...) : 问问题。
\n(lambda ...) : 创建一个函数。
\n(define ...) : 为函数命名。

\n

Scheme 十诫之第一诫

\n

在表述任意函数时，总是将询问 null? 作为诸问题之首。

\n

自定义函数

\n

(lat? l)

\n

定义：lat? 函数判断列表 l 中的元素是否都是原子。

\n

实现：

\n
(define lat?\n  (lambda (l)\n    (cond\n      ((null? l) #t)\n      ((atom? (car l)) (lat? (cdr l)))\n      (else #f))))
\n

(member? a lat)

\n

定义：member? 判断列表 lat 中是否存在 a。

\n

实现：

\n
(define member?\n  (lambda (a lat)\n    (cond\n      ((null? lat) #f)\n      (else (or (eq? (car lat) a)\n                (member? a (cdr lat)))))))
","frontmatter":{"title":"The Little Schemer 知识点整理（二）：处理，处理，反复处理……","date":"2018 年 12 月 05 日","description":"第二章开始引入递归思想。看书的时候一开始没看懂，以为印错了，一模一样的内容出现了很多次，当发现问题所在的时候，不禁莞尔，原来如此啊。"}}},"pageContext":{"slug":"/the-little-schemer-summary-2/","previous":{"fields":{"slug":"/the-little-schemer-summary-1/"},"frontmatter":{"title":"The Little Schemer 知识点整理（一）：玩具总动员"}},"next":{"fields":{"slug":"/the-little-schemer-summary-3/"},"frontmatter":{"title":"The Little Schemer 知识点整理（三）：用 cons 构筑恢宏"}}}}}