Основные формы

Проверьте запуском

LISPEX

((lambda (x) (if #t x 0)) 42)

Наблюдаемый результат

OUTPUT

У if обязательна ветвь else, а begin и тела процедур сохраняют порядок слева направо.
lambda поддерживает фиксированные и точечные параметры. set! меняет существующую ячейку, а define создаёт или обновляет верхнеуровневую ячейку.
quote возвращает неизменяемые литеральные данные, и программа не обрабатывает их элементы как выражения.
module записывается как (module имя (export имя ...) (import имя ...) тело ...) и допустим только на верхнем уровне. Внутри другой формы это E130. Заголовочные клаузы export и import идут перед телом.
Заголовок module проверяется и отбрасывается, а тело раскрывается наружу. Пространства имён он не создаёт. Не ждите от него сокрытия. Именно поэтому (f 21) ниже вызывается снаружи модуля.

LISPEX

(module doubling
  (export twice)
  (define (twice x) (* x 2)))

(twice 21)

Наблюдаемый результат

OUTPUT

Форма	Число аргументов / вычисление	Результат или ошибка
`quote`	один datum, элементы не вычисляются	неизменяемые данные
`if`	условие, истинная и ложная ветви, сначала условие	значения выбранной ветви. E320, если условие даёт не одно значение
`lambda`	параметры и 1..N форм тела	замыкание. E302 при неверном числе аргументов
`set!`	имя и правая часть с одним значением	ноль значений. E303, если имя не связано
`let` / `letrec`	список связываний и 1..N форм тела	значения последней формы тела. E321 при раннем чтении `letrec`
`module`	имя, 0..2 заголовочные клаузы, 1..N форм тела	тело, раскрытое наружу. E130 везде, кроме верхнего уровня

Удобные сокращённые формы перечислены в справочнике производных форм.

Сокращения, которые нормализуются в эти формы, собраны на странице производных форм, а порядок вычисления подвыражений разобран в руководстве.