{"componentChunkName":"component---src-templates-blog-post-js","path":"/the-little-schemer-summary-7/","result":{"data":{"site":{"siteMetadata":{"title":"星雨之夜"}},"markdownRemark":{"id":"34028c62-ce9f-5f95-958b-fba11e357fcc","excerpt":"准备知识 set：集合，注意区别于 collection，原子组成的列表，其中不包含重复原子。 pair：其中的两个元素是含义不同但是相关的对象。 构建 pair：。 构建 pair 的表示方式： rel：由 pair 组成的 set。 自定义函数 (set? lat) 定义：判断一个 lat 是不是一个集合（set…","html":"

准备知识

\n
    \n
  1. set：集合，注意区别于 collection，原子组成的列表，其中不包含重复原子。
    2. \n
  2. pair：其中的两个元素是含义不同但是相关的对象。
    3. \n
  3. 构建 pair：(cons x1 (cons x2 (quote ())))。
    4. \n
  4. \n

    构建 pair 的表示方式：

    \n
    (define first\n (lambda (p)\n   (car p)))
    \n
    (define second\n (lambda (p)\n   (car (cdr p))))
    \n
    (define build\n (lambda (s1 s2)\n   (cons s1 (cons s2 (quote ())))))
    \n
    5. \n
  5. rel：由 pair 组成的 set。
    6. \n
\n

自定义函数

\n

(set? lat)

\n

定义：判断一个 lat 是不是一个集合（set），集合里不含相同原子。

\n

实现：

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

注意 member?，第二章就已经实现了这个函数。

\n

(makeset lat)

\n

定义：把一个 lat 转化为 set（原子去重）。

\n

实现：

\n
(define makeset\n  (lambda (lat)\n    (cond\n      ((null? lat) (quote ()))\n      ((member? (car lat) (cdr lat))\n        (makeset (cdr lat)))\n      (else\n        (cons (car lat)\n              (makeset (cdr lat)))))))
\n

我们使用 multirember 函数重写 makeset：

\n
(define makeset\n  (lambda (lat)\n    (cond\n      ((null? lat) (quote ()))\n      (else\n        (cons (car lat)\n          (makeset\n            (multirember (car lat)\n              (cdr lat))))))))
\n

与第一次写出的函数不同的是，这次我们首先移除了剩余列表中的重复原子，最终的打印结果也更加符合直觉。

\n

(subset? set1 set2)

\n

定义：判断 set1 是不是 set2 的子集。

\n

实现：

\n
(define subset?\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) #t)\n      ((member? (car set1) set2)\n        (subset? (cdr set1) set2))\n      (else #f))))
\n

改用 and：

\n
(define subset?\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) #t)\n      (else\n        (and (member? (car set1) set2)\n             (subset? (cdr set1) set2))))))
\n

(eqset? set1 set2)

\n

定义：判断 set1 和 set2 是否相同。

\n

实现：

\n
(define eqset?\n  (lambda (set1 set2)\n    (cond\n      ((subset? set1 set2)\n        (subset? set2 set1))\n      (else #f))))
\n

用 and 简化：

\n
(define eqset?\n  (lambda (set1 set2)\n    (and (subset? set1 set2)\n         (subset? set2 set1))))
\n

(intersect? set1 set2)

\n

定义：判断 set1 中是否至少有一个原子也在 set2 中。

\n

实现：

\n
(define intersect?\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) #f)\n      ((member? (car set1) set2) #t)\n      (else (intersect? (cdr set1) set2)))))
\n

改用 or：

\n
(define intersect?\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) #f)\n      (else\n        (or (member? (car set1) set2)\n            (intersect? (cdr set1) set2))))))
\n

对比一下 subset? 和 intersect?。

\n

(intersect set1 set2)

\n

定义：从 set2 中取出 set1 中包含的原子的列表。

\n

实现：

\n
(define intersect\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) (quote ()))\n      ((member? (car set1) set2)\n        (cons (car set1)\n              (intersect (cdr set1) set2)))\n      (else (intersect (cdr set1) set2)))))
\n

(union set1 set2)

\n

定义：merge 两个 set。（不知道怎么表述了 😂）

\n

实现：

\n
(define union\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) set2)\n      ((member? (car set1) set2)\n        (union (cdr set1) set2))\n      (else (cons (car set1)\n                  (union (cdr set1) set2))))))
\n

只改动一个条件 ((null? set1) (quote ()))，这个函数回变成什么样呢？

\n
(define xxx\n  (lambda (set1 set2)\n    (cond\n      ((null? set1) (quote ()))\n      ((member? (car set1) set2)\n        (xxx (cdr set1) set2))\n      (else (cons (car set1)\n                  (xxx (cdr set1) set2))))))
\n

xxx 函数返回只存在于 set1 却不存在于 set2 中的原子列表。

\n

(intersectall l-set)

\n

定义：l-set 是由一组列表组成的非空列表，该函数取出这些列表中的相同原子，返回这些原子组成的新列表。

\n

实现：

\n
(define intersectall\n  (lambda (l-set)\n    (cond\n      ((null? (car l-set)) (car l-set))\n      (else (intersect (car l-set)\n                       (intersectall (cdr l-set)))))))
\n

(a-pair? x)

\n

定义：判断 S-表达式 x 是不是一个 pair（仅有两个 S-表达式组成的列表）。

\n

实现：

\n
(define a-pair\n  (lambda (x)\n    (cond\n      ((atom? x) #f)\n      ((null? x) #f)\n      ((null? (cdr x)) #f)\n      ((null? (cdr (cdr x))) #t)\n      (else #f))))
\n

无知的分割线

\n

本章接下来的一部分有点没看懂，不是很明白这里介绍的函数和全函数的概念。所以只写下自己所理解的。

\n

(fun? rel)

\n

定义：判断一个 rel 中，任一 pair 的第一个元素都与其他 pair 的第一个元素是否相同。或者可以表述为，判断一个 rel 中由每个 pair 的第一个元素组成的新列表是否为一个 set。我们把这样的 rel 称之为函数（？）。

\n

实现：

\n
(define fun?\n  (lambda (rel)\n    (set? (firsts rel))))
\n

firsts 的定义可以回顾一下第三章。

\n

(revrel rel)

\n

定义：交换一个 rel 中每个 pair 的两个元素。

\n

实现：

\n
(define revrel\n  (lambda (rel)\n    (cond\n      ((null? rel) (quote ()))\n      (else (cons\n              (build (first (car rel))\n                     (second (car rel)))\n              (revrel (cdr rel)))))))
\n

(revpair pair)

\n

定义：交换一个 pair 中的两个元素。

\n

实现：

\n
(define revpair\n  (lambda (pair)\n    (build (second pair) (first pair))))
\n

那么 revrel 函数就可以表述为以下形式，大大提升了可读性：

\n
(define revrel\n  (lambda (rel)\n    (cond\n      ((null? rel) (quote ()))\n      (else (cons\n              (revpair (car rel))\n              (revrel (cdr rel)))))))
\n

(fullfun? fun)

\n

定义：一个 rel 除了是 fun 以外，它的每个 pair 的第二元素也与其他 pair 的第二个元素不同。我们把这样的 fun 称之为全函数（？）。它是一一对应的。

\n

实现：

\n
(define fullfun?\n  (lambda (fun)\n    (set? (seconds fun))))
\n

我们可以像实现 firsts 那样实现 seconds 函数。当然也可以用上面已经引入的函数：

\n
(define fullfun?\n  (lambda (fun)\n    (fun? (revrel fun))))
\n

🐱 写到现在觉得书比自己整理的好看太多了，这本书一点也不枯燥 🥰

","frontmatter":{"title":"The Little Schemer 知识点整理（七）：朋友及关系","date":"2019 年 01 月 05 日","description":"本章介绍了 set（集合）、pair（对）和 rel（关联列表），它们描述了列表之间更深层次的关系。"}}},"pageContext":{"slug":"/the-little-schemer-summary-7/","previous":{"fields":{"slug":"/the-little-schemer-summary-6/"},"frontmatter":{"title":"The Little Schemer 知识点整理（六）：如影随形"}},"next":{"fields":{"slug":"/the-little-schemer-summary-8/"},"frontmatter":{"title":"The Little Schemer 知识点整理（八）：Lambda 终结者"}}}}}