Введение
В современном обществе построена уникальная модель поведения человек-компьютер. Вся современная цивилизация поддерживается тысячами рабочих лошадок — компьютеров, которые выполняют всю тяжелую рутинную работу с поразительной точностью и скоростью. Цивилизация людей настолько плотно привязана сейчас к огромному парку вычислительных машин, что не смогла бы просуществовать и несколько дней без них.
Все это обязывает налаживать все более и более сложные связи между человеком и машиной. Эти связи постоянно совершенствуются и усложняются — это и можно назвать Прогрессом.
Связующим звеном между человеком и компьютером выступает языковая прослойка, состоящая из сотен языков программирования. Если бы не было этого обязательного компонента в отношениях между человеком и машиной, компьютеры были бы не более чем грудой бесполезного железа. Но если человек и компьютер могут понимать один-одного, тогда получается удивительная связка, которая может творить самые невообразимые вещи в мире. Компьютер превращается в удивительный инструмент работы человека. Как когда-то первые каменные орудия труда перевернули мир, так и сейчас наша цивилизация делает следующий значительный шаг вперед в развитии.
Автоматизированные системы, работающие по заданному алгоритму теперь везде, от бытовых электрочайников до атомных электростанций. Многие современные достижения науки и техники были бы невозможны без применения наших кремниевых помощников.
Хотя передовые методики разработки программного обеспечения в последние годы быстро развивались, общепринятые практически стояли на месте. Многие программы все еще полны ошибок, как простых, бросающихся в глаза так и серьезных и скрытых до поры до времени. Многие программные продукты поставляются с опозданием и не укладываются в бюджет, а многие не отвечают требованиям пользователей. Ученые обнаружили эффективные методики, устраняющие большинство насущных проблем, которые мешают писать качественный код. Однако из-за того, что эти методики редко покидают страницы узкоспециализированных технических изданий, в большинстве компаний по разработке ПО они еще не используются. Так как в программировании достаточно сильны сложившиеся традиции и из-за элементарной лени многих руководителей и программистов, современные технологии достаточно медленно проникают в практическую сферу, оставаясь уделом академических кругов.
Поэтому изучение современных языков программирования представляется чрезвычайно важным и ответственным делом.
Что такое язык программирования? Естественно начать с характеристики изучаемого предмета. Но коротко охарактеризовать, что именно будем изучать, с какой целью и как, не просто. Конечно, нас будут интересовать «языки программирования» (ЯП). На сколь точно эти слова определяют сферу наших интересов? Одни скажут, что язык машин Тьюринга или алгоритмов Маркова — это ЯП, другие не согласятся с этим категорически.
Такая ситуация на первый взгляд неприятна — собираемся изучать неизвестно что. Сделаем вывод, что нужно определить объем понятия «язык программирования» .
Чтобы создать себе первую точку опоры, пойдем по простейшему пути — явно перечислим те конкретные языки, которые нас заведомо интересуют (их мы уверенно считаем «языками программирования»). Это Фортран, Паскаль, Бейсик, Лисп, С, C++, Java, Ада. Однако вряд ли стало намного легче. Хочется иметь возможность на основе определения предсказывать новые частные случаи, в определении не перечисленные. Такое определение должно опираться на существенные свойства выбираемых для изучения языков — оно должно быть интенсиональным. Дадим одно из возможных интенсиональных определений ЯП.
Язык программирования — это инструмент для планирования поведения исполнителя.
