Harold Abelson and Gerald Jay Sussman with ... - ftp.linux.kiev.ua.

1.1. Элементы программирования 37
Такая конструкция называется разбором случаев (case analysis). В Лиспе существует
особая форма для обозначения такого разбора случаев.Она называется cond
(от английского слова conditional, «условный») и используется так:
(define (abs x)
(cond ((> x 0) x)
((= x 0) 0)
((< x 0) (- x))))
Общая форма условного выражения такова:
(cond (〈p 1 〉 〈e 1 〉)
(〈p 2 〉 〈e 2 〉)
.
(〈pn〉 〈en〉))
Она состоит из символа cond, за которым следуют заключенные в скобки пары
выражений (〈p〉 〈e〉), называемых ветвями (clauses). В каждой из этих пар
первое выражение — предикат (predicate), то есть выражение, значение которого
интерпретируется как истина или ложь 17 .
Условные выражения вычисляются так: сначала вычисляется предикат 〈p 1 〉.
Если его значением является ложь, вычисляется 〈p 2 〉. Если значение 〈p 2 〉 также
ложь, вычисляется 〈p 3 〉. Этот процесс продолжается до тех пор, пока не
найдется предикат, значением которого будет истина, и в этом случае интерпретатор
возвращает значение соответствующего выражения-следствия (consequent
expression) в качестве значения всего условного выражения. Если ни один из 〈p〉
ни окажется истинным, значение условного выражения не определено.
Словом предикат называют процедуры, которые возвращают истину или ложь,
а также выражения, которые имеют значением истину или ложь. Процедура вычисления
модуля использует элементарные предикаты 18 .
Они принимают в качестве аргументов по два числа и, проверив, меньше ли
первое из них второго, равно ему или больше, возвращают в зависимости от этого
истину или ложь.
Можно написать процедуру вычисления модуля и так:
17 «Интерпретируется как истина или ложь» означает следующее: в языке Scheme есть два
выделенных значения, которые обозначаются константами #t и #f. Когда интерпретатор проверяет
значение предиката, он интерпретирует #f как ложь. Любое другое значение считается
истиной. (Таким образом, наличие #t логически не является необходимым, но иметь его удобно.)
В этой книге мы будем использовать имена true и false, которые связаны со значениями
#t и #f, соответственно.
18 Еще она использует операцию «минус» -, которая, когда используется с одним операндом,
как в выражении (- x), обозначает смену знака.