(方案)验证一个列表中的元素是否在第二个列表中与do cicle一起

Question

如果第一个列表的元素在第二个列表中,我们如何在方案中验证do cicle？

Answer 1

球拍中的do循环有一个有趣的结构:

(do ([id init-expr step-expr-maybe] ...)
    (stop?-expr finish-expr ...)
  expr ...)

r5rs的文档提供了一个示例:

(let ((x '(1 3 5 7 9)))
  (do ((x x (cdr x))
       (sum 0 (+ sum (car x))))
      ((null? x) sum)))

该语句返回25,循环元素的总和.在xDO循环初始化为x在让利,然后反复地设置为cdr通过循环本身各一次.sum初始化为0,并累积的值car的x每一次通过.停止条件是迭代变量为空时,返回值为总和.

好吧,除了方括号的球拍偏好,这看起来不错.有一个do循环和一个列表.循环在该列表上做了一些事情.我们可以用它来编写一个在列表中找到特定原子的函数(使用球拍括号):

(define (find5 lst)
  (do ([x lst (rest x)]
       [found #f (or found (eq? 5 (first x)))])
    ((null? x) found)))

而不是初始化和添加值sum,我or进入found.另外,我喜欢first和rest比car,并cdr和定义它们自己,当他们不存在.此函数的工作方式应遵循示例的说明.

(find5 '(1 2 3 4 6))

按预期给出#f.同理:

(find5 '(1 2 3 4 5 6))

给#t.

您是否能够通过在特定问题中使用do循环来概括查找列表中的特定元素？