方案函数元组检查

Question

好吧，我真的很糟糕的计划，我一直在卡住这个功能（看它是一个非常简单的修复）。我想写一个关于列表输入是否是一个包的函数（一个包是元组中的第一个数字是值的第二个数字是一个元组列表，而且每个值都不应该重复并从最小到最大排序）。这是我有...语法可能是太可怕了......

(define (bag? qbag) 
    (cond ((null? qbag) #t) 
     (if(eqv? (pair? (car qbag)) #t) 
      (baghelp (cdr qbag) (car(car qbag)))) 
     (else (#f)))) 

(define (baghelp qbag x) 
(cond((null? qbag) #t) 
     (if(and(if (eqv? (pair? (car qbag)) #t)) 
      (if (< x (car(car qbag))))) 
     (baghelp (cdr qbag) (car(car qbag))) 
     (else(#f))))) 

样本输入输出：

(bag? '((0 1))) 
#f 
(bag? '()) 
#t 
(bag? '10) 
#f 
(bag? '((5 2) (4 3))) 
#f 
(bag? '((5 2) (7 3))) 
#t 
(bag? '((5 1 0))) 
#f 
(bag? '((5 5) (5 2))) 
#f 

Answer 1

是你的语法是相当糟糕。 cond内使用if的方式和(#f)这样的表达方式使我认为你到目前为止避免了Scheme文献......真的，阅读好教程，这是必须的。

这里是我会怎么写一个例子本（或多或少，我会分解出的(car bag)和(caar bag)重复使用，但这种方式可能是更具可读性给您）：

(define (bag? bag) 
    (and (list? bag) (bag-help bag '()))) 

(define (bag-help bag last-val) 
    (or (null? bag) 
     (and (list? (car bag)) 
      (> (caar bag) 0) 
      (= 2 (length (car bag))) 
      (or (null? last-val) (< last-val (caar bag))) 
      (bag-help (cdr bag) (caar bag))))) 

这通过所有你的测试，并有你在评论中提到的其他限制。