使用抽象

Question

如果谓词位？ 如果项目为1或0，则返回#t

(define bit?
  (lambda (item)
    (if (equal? item 0)
        #t
    (if (equal? item 1)
        #t
        #f))))

我如何使用位？ 在一个新的过程中，所有位？ 如果列表中的所有项目都是位，则返回#t？
我不知道
这就是我尝试过的。

 (define all-bits?
      (lambda (ls)
        (cond
          [(null? ls) #t]
          [(equal? (car ls all-bits?)) bit?]
          [else (all-bits? ls (cdr ls))]))

Answer 1

您的第二个条件完全错误。 这在语法上是错误的。 等于？ 需要两个参数， car只需要一个参数， bit也需要一个参数，但是您分别传递了1、2和0参数。 这也没有道理：您的辅助功能位？ 旨在测试单个项目，但您并未对其进行任何测试。 为什么全是位？ 在那一行吗？

第三条cond句法在语法上是错误的：同样，您要将两个参数传递给只需要一个参数的函数。

你需要说“返回true，如果第一个原子是一个位和第二个原子的有点和 （等等，等等）。 该结构根本没有在您的代码中表示。

我还认为，对于空列表，所有位都应返回false；如果您的列表中只有一位，则所有位应返回true，但是也许(all-bits? '()) ==> #t是在原始课程中指定的题。

要按照自己的方式进行操作（对于空列表，则为true），您的cond应该只有两个语句；

(cond
   ((null? l) #t)
   (else ("Return true if the first atom is a bit **and** if the second atom is a bit **and** the third (and so on, and so on, recursively)"))

按照我的方式来做，看起来像这样：

(cond
   ((null? l) #f)
   ((and (null? (cdr l)) ("something here to test that (car l) is a bit")) #t)
   (else ("Return true if the first atom is a bit **and** if the second atom is a bit **and** the third (and so on, and so on, recursively)")).

应该清楚的是，引号中的位不是真实代码。

我还没有为您完成家庭作业，但希望我的所有评论使您的工作更加清楚。 即使您尝试制作版本而不是我的版本，我的实际上也包含了有关如何构造最后一行的重要提示。

如果尚未显示如何使用和 ，请使用嵌套的if语句。