Формы. Управляющие конструкции в лисп-программе. Реферат.
Фрагменты работы:
Программа состоит не только из функций, но и из форм. Простейшими формами являются константы, переменные, лямбда-вызовы, вызовы функций.
Остановимся более подробно на специальных формах, предназначенных для управления обработкой программы и контекстом. У каждой формы определенный синтаксис и семантика, основанные на едином способе записи и интерпретации.
Управляющие предложения Лиспа внешне выглядят как вызовы функций — в виде скобочных выражений, первый элемент которых действует как имя управляющей структуры, а остальные элементы — как аргументы. Наиболее важные формы можно разделить на следующие группы:
работа с контекстом
• QUOTE или блокировка вычисления,
• вызов функции и лямбда-вызов,
• предложения LET и LET*;
последовательное исполнение
• предложения PROG1, PROG2 и PROGN;
разветвление исполнения
• условные предложения COND, IF, WHEN, UNLESS,
• выбирающее предложение CASE;
итерации
• циклические предложения DO, DO*, LOOP, DOTIMES, DOUNTIL;
передачи управления
• предложения PROG, GO и RETURN;
динамическое управление вычислением
• THROW, CATCH, а также BLOCK.
Эти управляющие формы (кроме QUOTE и лямбда-вызова, а также вызовов функций), в основном, используются в теле лямбда-выражений, определяющих функции.
Предложение LET используется для создания связи переменных внутри формы:
…
Различие этих форм лишь в возвращаемых ими в качестве общего значения результатах. Форма PROG1 возвращает значение формы1, PROG2-формы2, PROGN -последней формы n.
Например:
(progn (setq x 2) (setq у (* 3 х)))
Результат: 6.
Предложение COND является основным средством разветвления обработки. Структура условного предложения такова:
…
Результат: ТИП.
Примеры применения этой функции:
(тип ‘ (a b с))
Результат: СПИСОК.
(тип (atom ‘ (а т о м)))
Результат: ПУСТО.
Для организации ветвления можно использовать и формулы IF, WHEN, UNLESS:
(IF условие то-форма иначе-форма),
…
Скачать весь реферат:
СКАЧАТЬ C TURBOBIT.NET
СКАЧАТЬ C HITFILE.NET
|
