Классификация списковых форм

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

Первый шаг в вычислении непустого списка заключается в проверке его первого элемента. Этот элемент определяет, какой вид формы представляет собой список, и как должен обрабатываться остальной список. Первый элемент не вычисляется, в отличие от некоторых диалектов Lisp, таких как Scheme.