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

1.1. Элементы программирования 27
Эти правила форматирования называются красивая печать (pretty printing). Согласно
им, всякая длинная комбинация записывается так, чтобы ее операнды выравнивались
вертикально. Получающиеся отступы ясно показывают структуру
выражения 6 .
Даже работая со сложными выражениями, интерпретатор всегда ведет себя
одинаковым образом: он считывает выражение с терминала, вычисляет его и печатает
результат. Этот способ работы иногда называют циклом чтение-вычислениепечать
(read-eval-print loop). Обратите особое внимание на то, что не нужно специально
просить интерпретатор напечатать значение выражения 7 .
1.1.2. Имена и окружение
Одна из важнейших характеристик языка программирования — какие в нем
существуют средства использования имен для указания на вычислительные объекты.
Мы говорим, что имя обозначает переменную (variable), чьим значением
(value) является объект.
В диалекте Лиспа Scheme мы даем вещам имена с помощью слова define.
Предложение
(define size 2)
заставляет интерпретатор связать значение 2 с именем size 8 . После того, как
имя size связано со значением 2, мы можем указывать на значение 2 с помощью
имени:
size
2
(* 5 size)
10
Вот еще примеры использования define:
6 Как правило, Лисп-системы содержат средства, которые помогают пользователям форматировать
выражения. Особенно удобны две возможности: сдвигать курсор на правильную позицию
для красивой печати каждый раз, когда начинается новая строка и подсвечивать нужную
левую скобку каждый раз, когда печатается правая.
7 Лисп следует соглашению, что у всякого выражения есть значение. Это соглашение, вместе
со старой репутацией Лиспа как неэффективного языка, послужило источником остроумного
замечания Алана Перлиса (парафразы из Оскара Уайльда), что «Программисты на Лиспе
знают значение всего на свете, но ничему не знают цену».
8 Мы не печатаем в этой книге ответы интерпретатора при вычислении определений, поскольку
они зависят от конкретной реализации языка.