Современные системы программирования

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