Предикат S-выражения Little Schemer

«S-выражение» строится из атомов через несколько (возможно, ноль) cons приложений:

(define (sexp? expr)
  (or
     ; several cases:
     (atom? expr)
     ; or
     (and (pair? expr)           ; a pair is built by a cons
          (sexp? (car expr))     ;  from a "car"
          (sexp? .........))     ;    and a "cdr"
          ))) 

Это практически на английском языке. Больше нечего сказать об этом (в коде, я имею в виду). За исключением того, что после определения отсутствующего

(define (atom? x) 
  (not (pair? x)))

мы видим, что (sexp? ...) может вернуть только #t. В этом вся суть: в Лиспе все является S-выражением либо атомом, либо парой S-выражений.

Предыдущий ответ правильный - Scheme (и Lisp) - это языки, основанные на S-выражениях. И предоставленный код — отличное начало.

Но не совсем правильно, что все является S-выражением в этих языках. В этом случае у вас есть выражение, которое синтаксически неверно, поэтому язык задыхается, когда пытается его прочитать. Другими словами, это не S-выражение.

Я знаю, что это расстраивает, и, честно говоря, не такой уж хороший ответ, но это отличный урок одного из золотых правил компьютерного программирования: мусор на входе, мусор на выходе. Суть в том, что вы будете получать такого рода ошибки просто потому, что в начале программирования невозможно проверить всеми возможными способами, что что-то не является S-выражением без используя сам язык.