方案函數元組檢查

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))))) 

這通過所有你的測試，並有你在評論中提到的其他限制。