🗊Презентация Организация вычислений в Лиспе. Часть 1

Лекция №4 Организация вычислений в Лиспе. Часть 1

Условные выражения Функция cond (обращение к функции cond наз. условным выражением). Общий вид обращения к функции cond: (cond (p1 s1) (p2 s2) …(pn sn)), где p1, …, pn – логические выражения, s1, …, sn -- произвольные выражения. Функция cond имеет произвольное число аргументов. Каждый из Аргументов – пара, т.е. список из двух элементов. Первый элемент пары – условие. Второй элемент – выражение. Функция cond принимает одно из значений s1, … , sn. Выбор происходит следующим образом: просмотр выполняется слева направо до тех пор, пока не встретится аргумент (pi, si) со значением pi, отличным от nil. Тогда cond возвращает значение si. Если все значения pi равны nil, то cond nil (в некоторых реализациях может быть ошибка). Последним выражением pn часто ставят константу t. Это условие всегда удовлетворено (аналог default case).

Пример условного выражения Рассмотрим условное выражение на алголоподобном языке: y := if x>50 then 10 else if x > 20 then 30 else if x > 10 then 20 else 0; Его аналогом является условное выражение на Лиспе: (cond ((> x 50) 10) ((> x 20) 30) ((> x 10) 20) (t 0) ) Пример 2: Абсолютное значение (defun abs(x) (cond ((> 0 x) (- 0 x)) ( t x)) )

Пример условного выражения

Условные выражения

Условные выражения

Простые циклы Для организации циклических действий используется функция do след. формата: (do ((var_1 value_1) (var_2 value_2) … (var_n value_n)) (condition form_yes_1 form_yes_2 … form_yes_m) form_no_1 form_no_2 … form_yes_k ) Предложение do работает следующим образом: первоначально переменным var_1, var_2, …, var_n присваиваются значения value_1, value_2, …, value_n (параллельно, как в предложении let). Затем проверяется условие выхода из цикла condition. Если условие выполняется, последовательно вычисляются формы form_yes_1, form_yes_2, …, form_yes_m, и значение последней вычисленной формы form_yes_m возвращается в качестве значения всего предложения do. Если же условие condition не выполняется, последовательно вычисляются формы form_no_1, form_no_2, …, form_yes_k, и вновь выполняется переход в проверке условия выхода из цикла condition. Форма DO* последовательно вычисляет свои переменные.

Пример цикла для возведения x в степень n с помощью умножения определена функция power с двумя аргументами x и n: x – основание степени, n – показатель степени. > (defun power (x n) (do ((result 1)) ;присваивание начального значения переменной result ((= n 0) result) ;условие выхода их цикла (setq result (* result x)) (setq n (- n 1)) ;повторяющиеся действия ) ) POWER > (power 2 3) 8