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

1.1. Элементы программирования 31
(вместе со своими правилами вычисления) составляют синтаксис языка программирования.
По сравнению с большинством языков программирования, у Лиспа
очень простой синтаксис; а именно, правило вычисления для выражений может
быть описано как очень простое общее правило плюс специальные правила для
небольшого числа особых форм 11 .
1.1.4. Составные процедуры
Мы нашли в Лиспе некоторые из тех элементов, которые должны присутствовать
в любом мощном языке программирования:
• Числа и арифметические операции представляют собой элементарные данные
и процедуры.
• Вложение комбинаций дает возможность комбинировать операции.
• Определения, которые связывают имена со значениями, дают ограниченные
возможности абстракции.
Теперь мы узнаем об определениях процедур (procedure definitions) — значительно
более мощном методе абстракции, с помощью которого составной операции
можно дать имя и затем ссылаться на нее как на единое целое.
Для начала рассмотрим, как выразить понятие «возведения в квадрат». Можно
сказать так: «Чтобы возвести что-нибудь в квадрат, нужно умножить его само на
себя». Вот как это выражается в нашем языке:
(define (square x) (* x x))
Это можно понимать так:
(define (square x) * x x))
↑ ↑ ↑ ↑ ↑ ↑
Чтобы возвести в квадрат что-л. умножь это само на себя
11 Особые синтаксические формы, которые представляют собой просто удобное альтернативное
поверхностное представление для того, что можно выразить более унифицированным способом,
иногда называют синтаксическим сахаром (syntactic sugar), используя выражение Питера
Ландина. По сравнению с пользователями других языков, программистов на Лиспе, как правило,
мало волнует синтаксический сахар. (Для контраста возьмите руководство по Паскалю и
посмотрите, сколько места там уделяется описанию синтаксиса). Такое презрение к синтаксису
отчасти происходит от гибкости Лиспа, позволяющего легко изменять поверхностный синтаксис,
а отчасти из наблюдения, что многие «удобные» синтаксические конструкции, которые
делают язык менее последовательным, приносят в конце концов больше вреда, чем пользы,
когда программы становятся большими и сложными. По словам Алана Перлиса, «Синтаксический
сахар вызывает рак точки с запятой».