Управляющие конструкции

Программа на языке Lisp состоит из набора выражений или форм (см. Формы). Порядок выполнения этих форм контролируется с помощью управляющих конструкций. Управляющие конструкции — это специальные формы, которые управляют тем, когда, в каком случае или сколько раз выполнять содержащиеся в них формы.

Самый простой порядок выполнения — последовательное выполнение: сначала форма a, затем форма b и так далее. Так происходит, когда вы пишете несколько форм подряд в теле функции или на верхнем уровне в файле кода Lisp — формы выполняются в порядке написания. Мы называем это текстовым порядком. Например, если тело функции состоит из двух форм a и b, при оценке функции сначала оценивается a, а затем b. Результат оценки b становится значением функции.

Явные управляющие конструкции позволяют задать порядок выполнения, отличный от последовательного.

Emacs Lisp предоставляет несколько видов управляющих конструкций, включая другие типы последовательности, условные операторы, итерацию и (управляемые) переходы — все это обсуждается ниже. Встроенные управляющие конструкции являются специальными формами, поскольку их подформы не обязательно оцениваются или не оцениваются последовательно. Вы можете использовать макросы для определения собственных управляющих конструкций (см. Макросы).