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

1.1. Элементы программирования 47
(define (square x)
(exp (double (log x))))
(define (double x) (+ x x))
Таким образом, определение процедуры должно быть способно скрывать детали.
Может оказаться, что пользователь процедуры не сам ее написал, а получил
от другого программиста как черный ящик. От пользователя не должно требоваться
знания, как работает процедура, чтобы ее использовать.
Локальные имена
Одна из деталей реализации, которая не должна заботить пользователя процедуры
— это то, какие человек, писавший процедуру, выбрал имена для формальных
параметров процедуры. Таким образом, следующие две процедуры должны
быть неотличимы:
(define (square x) (* x x))
(define (square y) (* y y))
Этот принцип — что значение процедуры не должно зависеть от имен параметров,
которые выбрал ее автор, — может сначала показаться очевидным, однако он
имеет глубокие следствия. Простейшее из этих следствий состоит в том, что имена
параметров должны быть локальными в теле процедуры. Например, в программе
вычисления квадратного корня при определении good-enough? мы использовали
square:
(define (good-enough? guess x)
(< (abs (- (square guess) x)) 0.001))
Намерение автора good-enough? состоит в том, чтобы определить, достаточно
ли близко квадрат первого аргумента лежит ко второму. Мы видим, что автор
good-enough? обращается к первому аргументу с помощью имени guess, а ко
второму с помощью имени x. Аргументом square является guess. Поскольку автор
square использовал имя x (как мы видели выше), чтобы обратиться к этому
аргументу, мы видим, что x в good-enough? должно отличаться от x в square.
Запуск процедуры square не должен отразится на значении x, которое использует
good-enough?, поскольку это значение x понадобится good-enough?, когда
square будет вычислена.
Если бы параметры не были локальны по отношению к телам своих процедур,
то параметр x в square смешался бы с параметром x из good-enough?, и поведение