Формы

Форма - это S-выражение, подаваемое на вход интерпретатора, т.е. вычисляемое выражение:

форма ⇒ значение₁, ...

Соответственно, вычисляемые подвыражения: операнды, аргументы и т.п. - называются подформами.

Виды форм:

• самоопределённые или саморезультирующие (числа, строки),
• символы переменных,
• списковые формы:
  • особые формы (if, cond и т.п.),
  • вызовы функций (аппликация),
  • макровызовы.

S-выражения также служат в качестве составных данных (см. Абстракция с помощью данных). Такие выражения могут не быть формами.