Обозначения вычислений

Выражение Lisp, которое можно вычислить, называется формой. Вычисление формы всегда приводит к результату, который является объектом Lisp. В примерах в этом руководстве это обозначается символом ‘⇒’:

(car '(1 2))
     ⇒ 1

Это можно прочитать как «(car '(1 2)) приводит к 1».

Когда форма является вызовом макроса, она расширяется в новую форму для вычисления Lisp. Результат расширения показан символом ‘→’. Мы можем или не можем показать результат вычисления расширенной формы.

(third '(a b c))
     → (car (cdr (cdr '(a b c))))
     ⇒ c

Чтобы описать одну форму, мы иногда показываем другую форму, которая производит идентичные результаты. Точное эквивалентность двух форм обозначается символом ‘≡’.

(make-sparse-keymap) ≡ (list 'keymap)