Сравнение ЯП C_ C++_ Pascal_ Ada_ Modula-2_ Oberon-2_ Java (1161141), страница 5

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

В верхней части рейтинга оказались два языка-“тяжеловеса” – ADA и С++. При создании обеих языков программирования была предпринята попытка включить в них все наиболее значимые теоретические наработки. “Старичок” ADA победил, возможно, потому, что создавался “с чистого листа”, в то время как создателей С++ сдерживала необходимость сохранить совместимость с С.

Самый “молодой” из рассматриваемых языков – Java, получил пристойную среднюю оценку, примерно такую - же, как и у языков Вирта. Однако, учитывая ярко выраженную “объектную ориентированность” Java, следует признать, что как инструмент системного программиста этот язык недостаточно мощен.

K. КРАТКИЙ ОБЗОР СОВРЕМЕННЫХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ.

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

Си.

Главный инструмент системного программиста на сегодняшний день. Си создавался программистами Bell laboratories для себя как инструмент для разработки ОС UNIX и получил первоначальное распространение как базовый язык этой операционной системы. Си имеет очень приятный набор операторов (исключение составляет неструктурный switch) и неудачный конструктор типов. Серьезный недостаток (для языка системного программирования) – почти полное отсутствие механизмов раздельной компиляции. Поскольку Си доминирует на американском рынке средств разработки ПО, ему гарантирована долгая жизнь, несмотря на многочисленные попытки модернизировать его (например, такие, как С++ или Java).

С++.

Наиболее популярный клон С, в котором реализован наиболее полный (на сегодняшний день) механизм объектно-ориентированного программирования. При создании языка делались так же попытки модернизировать С, введя в его состав такие современные конструкции, как скалярный тип (enum), передача параметра по ссылке (&) или логический тип (bool). К сожалению, последовательными эти попытки назвать нельзя. Получился очень объемный (по этому показателю с ним может соперничать только ADA) и очень несистемный, “рыхлый” язык программирования, где наряду с суперсовременными понятиями класса соседствует адресная арифметика, доставшаяся в наследство от С.

Java.

Самый “молодой” из включенных в обзор языков программирования и основной инструмент программирования для Internet. Создатели Java безжалостно удалили из С все несовременные конструкции, и в то же время сумели удержаться от излишнего “раздувания” языка включением в него новых теоретических разработок. В результате получился не очень объемный, но стройный, “крепко сбитый” язык программирования с ярко выраженной идеологией. К сожалению, ориентация на Internet не дает возможности использовать Java как язык системного программирования, однако это хороший пример реформы С. Клоном С он является только внешне. Идеологически это хороший пример европейской языковой школы (к которой можно отнести клоны PASCAL и ADA).

PASCAL.

Ветеран европейской языковой школы, первый и самый популярный из языков Вирта. В языке реализован классический набор операторов и идеальный конструктор типов. Языку очень вредит отсутствие стандартных механизмов раздельной компиляции и ООП. В отличие от своего сверстника и конкурента С, PASCAL создавался одномоментно, что и предопределило его малые размеры и идеологическую стройность. С появлением MODULA и OBERON PASCAL можно считать устаревшим языком, однако консервативность программного обеспечения не позволяет считать такой вывод окончательным.

MODULA-2.

Наиболее известный клон PASCAL и любимый язык автора этой статьи. Классический набор операторов и конструктор типов. Хорошо разработанные механизмы раздельной компиляции (конкуренцию MODULA в этом классе может составить только ADA). Маленький и удобный язык с точки зрения разработчика компилятора (как и все языки Вирта, видимо, сказывается то обстоятельство, что Вирт сам пишет компиляторы для своих языков). Недостатком языка можно считать полное отсутствие механизмов ООП.

OBERON-2.

Последний из языков Вирта и клонов PASCAL. OBERON позиционировался как MODULA + ООП, однако при создании языка Вирт выбросил из MODULA много приятных возможностей (часть из которых была добавлена при создании OBERON-2, считающегося современным вариантом языка). К сожалению, необратимо пострадал механизм раздельной компиляции (крайне важный для языка системного программирования). С точки зрения идеологии OBERON скорее наследник MODULA-1 (был такой очень маленький язык, не содержавший даже чисел с плавающей точкой), чем MODULA-2. Реализации ООП сделана очень красиво и с минимальными издержками для разработчика компилятора.

ADA-95.

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

L. ВЫВОДЫ.

Главный вывод, который можно сделать на основе изложенного материала – несомненное сходство языков программирования в основных компонентах, таких, как набор операторов, конструктор типов, механизм процедур и ООП. Различия проявляются только в деталях, семантически современные языки программирования практически идентичны. Поэтому насущной задачей становится описание стандартов семантической составляющей языков программирования и создание семейств компиляторов с общей семантической базой (этой теме была посвящена статья “Современные языки программирования”).

Что такое языки с общей семантической базой, можно посмотреть на примере компилятора “Странник”, поддерживающего три языка (MODULA-2, PASCAL и Си), которые полностью эквивалентны друг другу на уровне семантики (компилятор можно бесплатно получить на сайте home.perm.ru/~strannik ). Электронный адрес автора статьи strannik@mail.perm.ru

Характеристики

Список файлов учебной работы