Синтаксис одним взглядом

(list 42 #t "tea" #\T 'ready)
; остаток строки игнорируется

(42 #t "tea" #\T ready)

Числа, логические значения, строки и отдельные символы текста можно записать напрямую. Апостроф в 'ready делает ready значением типа «символ». Точка с запятой начинает комментарий до конца строки.

(+ 10 (* 2 3))

16

Внутренний вызов (* 2 3) возвращает 6, поэтому внешний складывает 10 и 6. Первое выражение в вызове выбирает процедуру. Это выражение и аргументы вычисляются слева направо.

(let ((ширина-обреза 20) (вылет 3))
  (+ ширина-обреза вылет))

23

let даёт значениям локальные имена. Здесь ширина-обреза равно 20, а вылет равно 3. Начальные выражения используют внешнюю область видимости, поэтому не могут обращаться к новым именам друг друга. Для имени верхнего уровня используйте define. Форма let* нужна, когда следующее локальное значение использует предыдущее имя, а letrec нужен для рекурсивных локальных определений.

(define (double n) (* n 2))
(double 6)

12

define задаёт имя процедуры и её аргументы. Здесь double умножает аргумент на 2. Процедура сама является значением. Создать её без имени позволяет lambda.

(if (< 1 2) 'next-page 'keep)

next-page

if выбирает 'next-page, поскольку одна оставшаяся строка меньше двух. cond проверяет условия по порядку, а case выбирает ветвь по совпадению значения. and и or останавливаются, когда результат известен. Только #f считается ложным.

(list 'decision 'allow)

(decision allow)

Апостроф сохраняет данные без вычисления. Здесь 'decision и 'allow имеют тип «символ». list вычисляет аргументы и помещает их значения в новый список.

(list (string-length "Lispex")
      (vector-ref #(red green blue) 1))

(6 green)

string-length считает символы текста в "Lispex". vector-ref выбирает элемент по индексу, начиная с нуля, поэтому индекс 1 даёт green. Строки хранят текст Unicode. Векторы содержат упорядоченные элементы и допускают изменение в текущем профиле языка. Байтовые векторы хранят значения от 0 до 255 и не допускают изменения.

(map (lambda (n) (* n 10)) '(1 2 3))

(10 20 30)

map вызывает процедуру для каждого элемента списка и возвращает список результатов. filter отбирает элементы, а свёртки объединяют их в накапливаемое значение. apply вызывает процедуру с аргументами из списка. Рекурсивная процедура вызывает себя. Хвостовые вызовы позволяют повторять рекурсивные вызовы без роста стека.