如何修复方案 DrRacket 中的合同违规错误？

Question

(define is1?
  (lambda (tuple)
    (if (and (= 2 (length tuple))
             (= 1 (- (cadr tuple) (car tuple)))
             (list? tuple))
        #t
        #f)))

(define greenlist?
  (lambda (x) (andmap is1? x)))

(greenlist? '((2 4 6) (5 6) (1 2)))
(greenlist? '(3 4 5 6))

第二个命令：(greenlist? '(3 4 5 6)) 在应该返回 false 时返回错误。 相反，我得到了这个错误：

长度：违反合同
预期：列表？
给定：3

我应该在我的代码中进行哪些更改以使其返回 false 而不是错误？

这是绿名单的定义：

绿色列表是整数对的非空列表，其中一对 integers 是正好两个整数的列表，其中每一对 '( x y) 具有 y – x = 1 的属性。

例如：'((5 6) (3 4) (2 3) (-5 -4)) 是绿名单。

Answer 1

问题在于条件的顺序很重要：在and 表达式中，条件按从左到右的顺序计算，如果一个条件是false，那么其他条件被跳过（短路评估）。

您的输入是一个列表列表，因此您应该首先测试当前元素是否是一个实际列表 - 否则您将尝试获取不是的对象的length一个列表（在您的示例中为数字 3），这是一个错误。

顺便说一句：可以简化代码，你实际上不需要使用if，只需返回条件的值即可：

(define is1?
  (lambda (tuple)
    (and (list? tuple) ; you must ask this first!
         (= 2 (length tuple))
         (= 1 (- (cadr tuple) (car tuple))))))