如何在 Racket 中调试“列表包含异构数据类型”？

Question

这是我的球拍问题：

定义一个将列表作为参数的函数。它应该返回一个布尔值（即#t 或#f），指示列表是否按升序排序。你可能不会使用内置的排序？功能。您的实现必须是递归的。

输入：同质数据类型的元素列表，数字或字符串。

输出： 一个布尔值，指示列表的元素是否严格按升序排序。如果列表包含异构数据类型，则抛出错误（使用错误函数）并显示消息“错误：列表包含异构数据类型”。

所以当我输入这个函数时必须给我这个错误

(my-sorted? '(7 "垃圾邮件" 9)) ！错误：列表包含异构数据类型

但对我来说它给了我这个

(my-sorted? '(7 "垃圾邮件" 9)) : 合同违约 预期：真实？ 给定：“垃圾邮件” 论点位置：第二 其他论点...：

这里有什么

(define (my-sorted-int? lst)
  (define size (length lst))
  (if (< size 2)
      #t
      (if (null? lst)
          #t
          (if (> (car lst) (car (rest lst)))  <======= Gave me Error
              #f
              (my-sorted-int? (rest lst) )))))

(define (my-sorted-string? lst)
  (define size (length lst))
  (if (< size 2)
      #t
      (if (null? lst)
          #t
          (if (string>? (car lst) (car (rest lst)))
              #f
              (my-sorted-string? (rest lst) )))))

(define (my-sorted? lst)
  (if (string? (car lst))
      (my-sorted-string? lst)
      (my-sorted-int? lst)))

Answer 1

所以您知道左侧是一个数字，因为它是您最初检查的值，但右侧也需要是一个数字才能对其执行>。因此你需要这样的东西：

(if (number? (cadr lst))
    (if (> (car lst) (cadr lst)) ...)
    (error "ERROR: List contains heterogenous data types"))

您可能希望使用cond 来获得更扁平的结构。此外，您已经制作了两个相同的过程来处理整数和字符串，而您可以只制作一个并传递不同的东西以使您的代码更加干燥：

(define (my-sorted? lst)
  (define (my-helper? correct-type? greater-than?)
    (let loop ((e (car lst))
               (lst (cdr lst)))
      (cond ((null? lst) #t)
            ((not (correct-type? (car lst)))
             (error "ERROR: List contains heterogenous data types"))
            ((greater-than? e (car lst)) #f)
            (else (loop (car lst) (cdr lst))))))

  (cond ((null? lst) #t)
        ((string? (car lst)) (my-helper? string? string>?))
        (else (my-helper? number? >))))