Нужна помощь в понимании списков на схеме

Question

У меня возникли проблемы с пониманием того, как Scheme формирует, а затем обнаруживает списки. Хаус определяет разницу между списком и пунктирной парой?

Answer 1

Структура списка образована из пар. Надлежащий список представляет собой цепочку из пар, где последняя пара имеет пустой список в качестве своего cdr .. Мы можем сделать list? так:

(define (list? lst) 
    (cond ((null? lst) #t) 
     ((pair? lst) (list? (cdr lst))) 
     (else #f))) 

Или вы могли бы использовать и/или:

(define (list? lst) 
    (or (null? lst) 
     (and (pair? lst) 
      (list? (cdr lst)))))