В развитии языков программирования

 

Под языками программирования понимается система формальных обозначений для точного описания абстрактных структур данных и алгоритмов программ. Так же, как и любые языки, языки программирования имеют алфавит, словарь, синтаксис (правила конструирования выражений), семантику – разъяснение смысла конструкций из слов и выражений.

Внешняя форма языка программирования, т.е. запись текста программы устанавливается с помощью синтаксиса языка, который определяет формальный язык. Синтаксис описывается с помощью определенных грамматических правил. Задание формального языка хотя и достаточно для установления синтаксической корректности, однако недостаточно для того, чтобы понять ее функцию и способ действия программы, которые определяются путем задания семантики, через установление значения отдельных языковых элементов.

Следует различать язык программирования и его реализацию. Реализация языка – программа, которая преобразует запись высокого уровня (более приспособленную для восприятия человеком) в последовательность машинных команд компьютера и входит в состав программного обеспечения компьютера.

Появление компьютеров и интенсивное развитие их технических возможностей сопровождается развитием их лингвистического обеспечения. Среди основных причин, стимулирующих развитие языков программирования, следует отметить следующие:

необходимость повышения эффективности труда программистов, уменьшение уровня абстрагирования – приближение методов программирования к приложениям;

развитие приложений – внедрение компьютеров в самые различные сферы человеческой деятельности;

значительное увеличение ресурсов компьютеров и их производительности;

нарастающее увеличение сложности и размерности задач, решаемых на компьютерах.

Разработка языков программирования началась практически одновременно с появлением вычислительных машин. Это связано с тем, что программирование в машинных кодах – рутинный длительный процесс, который сдерживал внедрение вычислительной техники, значительно снижая эффективность ее использования.

В 1945 г. немецкий математик Конрад Цузе изобрел систему записи, которую назвал «Планкалкюль» (что означает программное исчисление), но язык не был реализован, тем не менее, многие развитые в нем идеи нашли отражение в современных языках. История развития традиционных языков высокого уровня, т.е. языков, ориентированных не на коды компьютеров, а на алгоритм решения задачи, представлена на рис. 4.1.

В 1949 г. Дж. Мочли, одним из создателей первого универсального компьютера ЭНИАК, был разработан Short code – Ассемблер, реализованный на этой машине.

Несомненно, наибольшее влияние на все последующие языки программирования оказал Фортран (FORTRAN – FOR(mula) TRANS(lator)), разработанный Дж. Бэкусом и его коллегами из фирмы IBM в 1954 – 57 гг. и реализованный на компьютере IBM 704. В те годы язык был встречен скептически, однако разработка эффективного транслятора для самых популярных (по тем временам) в мире компьютеров позволило языку завоевать всеобщее признание у программистов, занимающихся научными расчетами. Приблизительно в то же самое время Грейс Мюррей Хоппер – офицер ВМФ США (из фирмы UNIVAC) разработала более простой язык коммерческих задач Флоу-Матик – прообраз Кобола. Очень важное место среди язы­ков занимает Алгол (ALGO(rythmic)L(anguage)), первая версия которого была разработана в Европе международным комитетом на основе идей, заложенных в Фортране и Планкалкюле. Алгол хотя и не приобрел такой популярности, как Фортран, но оказал очень большое влияние на дальнейшее развитие языков. В начале 60-х годов появился Лисп и была разработана нотация APL.

Стремительное размножение языков встревожило программистов, поэтому было решено разработать единый язык для всех. Однако попытки создать такой язык закончились неудачей.

Частичный успех языка РL/1, разработанного фирмой IBM, показал, что всеобъемлющий язык должен быть труден в изучении и

Рис. 4.1. История развития языков программирования

громоздок в реализации. Было признано, что необходимость в новых языках для новых областей будет появляться всегда. Все языки, о которых говорилось выше, можно определить как процедурные (или предписывающие). Программа на таком языке указывает, как получить результат и что для этого необходимо сделать. Еще одно изначальное название этих языков – языки высокого уровня или алгоритмические. Несколько слов об уровне языка, который определяется степенью абстрагирования от решаемой задачи (или как говорят от приложений). Самым нижним уровнем языков являются машинные коды. Языки высокого уровня ориентированы на программирование алгоритмов. Но алгоритм – также некоторая абстракция, удаленная от конкретного приложения и требующая адаптации к конкретной задаче.

Стремление подняться на новый более высокий уровень программирования и приблизиться к приложениям связано с так называемыми непроцедурными или описательными языками, которые можно назвать языками сверхвысокого уровня, и они приобретают все большее значение. Описательная программа констатирует, какой результат желателен, не указывая, как этого достичь. В программе скорее формулируются отношения, а не последовательность вычислений. Таким образом, программист освобождается от обязанности разрабатывать шаги алгоритма и определять их порядок. Одним из разновидностей таких языков является Пролог PRO(gramming) in LOG(ic), представляющий собой усовершенствование языка Лисп (LISP – L(ist) I(nformation) S(ymbol) P(rocessing)), а также Визикальк и Мультиплан, получившие распространение на персональных компьютерах.

Некоторые из этих языков называют также дескриптивными. Программа на дескриптивном языке состоит из двух частей: базы данных и цели. База данных содержит конкретные факты о решаемой задаче и основные принципы, касающиеся соотношений между этими фактами. Цель – общее описание решения. Определяя цель, программист, по существу, просит компьютер скомбинировать факты и соотношения так, чтобы можно было доказать, что цель истинна. Дескриптивные языки особенно популярны в области разработки экспертных систем.

Другая тенденция в развитии языков программирования – рост интереса к системам записи, называе­мым объектно-ориентирован­ными языками, например Симула 67 (SIMULA – SIMU(lation) LA(nguage)). Кроме этого, появление многопроцессорных систем привело к необходимости разработки языков параллельных вычислений. Примером таких языков могут служить Оккам, Компед (Computer Parallel) и др. Развитие языков тесно связано с развитием технических средств, с появлением новых информационных технологий, совершенствованием программных интерфейсов. Это относится к средствам программирования графических программных оболочек, программирования сетевых приложений, совершенствованию лингвистических возможностей операционных систем и т.п.

В настоящее время насчитывается несколько тысяч языков и, тем не менее, продолжается разработка новых. Это, по-видимому, связано с тем, что нет хорошего способа для определения качества языка. При всем многообразии языков широко используются лишь некоторые. От возникновения языка до его «успешной стандартизации» (стандартизация языков программирования проводится организацией ASNI – American Standard National Institute) проходит примерно 10 лет, поэтому программисты предпочитают старые языки, несмотря на постоянную критику со стороны энтузиастов-разработчиков новых языков. Это связано с тем большим заделом программного обеспечения, который существует у традиционных языков, а также новыми их версиями, в которых продолжается дальнейшее совершенствование с учетом критических замечаний (не всегда объективных). Поэтому характерной тенденцией последнего времени в развитии традиционных языков высокого уровня является не столько создание новых языков, сколько включение новых функциональных возможностей в традиционные языки – использование элементов машинной графики, объектная ориентация, создание графических программных интерфейсов средства распараллеливания и т.п. Проблемы параллельного программирования, использования виртуальной памяти в значительной степени решаются не только на уровне прикладного программирования, но также средствами системных программ (операционных систем, трансляторов и т.п.).

Среди очень большого количества языков, разработанных к настоящему времени, очень важное значение имеют языки, которые хотя и не получили широкой применительной практики, но оказали сильное влияние на все дальнейшее развитие лингвистического обеспечения информатики. К таким языкам можно отнести: ALGOL (международный комитет), Симула 67 (Кристен Нигаард, Оле Йохан Дал), Small Talk (Ален Кэй), Modula, Pascal (Object Pascal), Oberton (Никлаус Вирт).

В целом, сравнение языков очень сложная задача, поскольку существует 2570 различных возможностей или свойств для сравнения, к которым добавляются 12 характеристик трансляторов. Следовательно, не существует самого лучшего языка программирования, так же как не существует самого лучшего естественного языка. Выбор языка определяется целями применения и индивидуальностью программиста. Как сказал король Карл V [17]: «Я разговариваю по-испански с богом, по-итальянски с женщинами, по-французски с мужчинами и по-немецки со своей лошадью».

В заключение необходимо отметить, что проблемы лингвистического обеспечения (как и программирования) сдерживают внедрение средств вычислительной техники и успехи в решении этих проблем значительно скромнее темпов развития технических средств.