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

гим известных языках программирования (programming languages), описывающих
задачи, которые мы хотим поручить процессам.
На исправно работающем компьютере вычислительный процесс выполняет программы
точно и безошибочно. Таким образом, подобно ученику чародея, программисты-новички
должны научиться понимать и предсказывать последствия своих
заклинаний. Даже мелкие ошибки (их обычно называют блохами (bugs) или глюками
(glitches)), могут привести к сложным и непредсказуемым последствиям.
К счастью, обучение программированию не так опасно, как обучение колдовству,
поскольку духи, с которыми мы имеем дело, надежно связаны. В то же
время программирование в реальном мире требует осторожности, профессионализма
и мудрости. Например, мелкая ошибка в программе автоматизированного
проектирования может привести к катастрофе самолета, прорыву плотины или
самоуничтожению промышленного робота.
Специалисты по программному обеспечению умеют организовывать программы
так, чтобы быть потом обоснованно уверенными: получившиеся процессы будут
выполнять те задачи, для которых они предназначены. Они могут изобразить поведение
системы заранее. Они знают, как построить программу так, чтобы непредвиденные
проблемы не привели к катастрофическим последствиям, а когда эти
проблемы возникают, программисты умеютотлаживать (debug) свои программы.
Хорошо спроектированные вычислительные системы, подобно хорошо спроектированным
автомобилям или ядерным реакторам, построены модульно, так
что их части могут создаваться, заменяться и отлаживаться по отдельности.
Программирование на Лиспе
Для описания процессов нам нужен подходящий язык, и с этой целью мы используем
язык программирования Лисп. Точно так же, как обычные наши мысли
чаще всего выражаются на естественном языке (например, английском, французском
или японском), а описания количественных явлений выражаются языком
математики, наши процедурные мысли будут выражаться на Лиспе. Лисп был
изобретен в конце 1950-х как формализм для рассуждений об определенном типе
логических выражений, называемых уравнения рекурсии (recursion equations),
как о модели вычислений. Язык был придуман Джоном Маккарти и основывается
на его статье «Рекурсивные функции над символьными выражениями и их
вычисление с помощью машины» (McCarthy 1960).
Несмотря на то, что Лисп возник как математический формализм, это практический
язык программирования. Интерпретатор (interpreter) Лиспа представляет
собой машину, которая выполняет процессы, описанные на языке Лисп. Пер-
21