Question

This function is supposed to return #t if the list e is incrementally ordered. The function doesn t work and I can t fix it.

(define (ordered e)
  (if (or (null? e) (> length(e) 1))
      #t
      (if (> (car e) (cadr e))
          #f
          (ordered (cdr e)))))

Answer 1

问题所在的基数是错误的, 简单声明列表如果有不小于两个元素, 则命令列表会更容易( 且不易出错) 。这就是在您的代码中造成问题的原因, 因为基数的大小写定义不清, 您的程序会进入第二个错误的大小写。当列表有小于两个元素时, 您不能使用 < code> cadr 。要修正您的执行, 您可以这样做 :

(define (ordered e) 
  (if (< (length e) 2)
      #t 
      (if (> (car e) (cadr e))
          #f 
          (ordered (cdr e)))))

您可以使用 cond 来更简洁地表达这一问题的解决方案, 您可以避免使用 long (视实施情况而定, 这可能是一个 O(n) 操作), 类似 :

(define (ordered e)
  (cond ((or (null? e) (null? (cdr e))) #t)
        ((> (car e) (cadr e)) #f)
        (else (ordered (cdr e)))))