3 Типы языков программирования высокого уровня

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

• процедурный,

• функциональный,

• логический,

• объектно-ориентированный.

3.1. Процедурный (алгоритмический) язык

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

Процедурные языки характеризуются следующими особенностями:

• необходимостью явного управления памятью, в частности, описанием переменных;

• малой пригодностью для символьных вычислений;

• отсутствием строгой математической основы;

• высокой эффективностью реализации па традиционных ЭВМ.

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

К процедурным языкам относятся: язык Ассемблера, С, Basic, Pascal.

3.2 Функциональный (аппликативный) язык

Первым таким языком был LISP.

Роль основной конструкции в функциональных (аппликативных) языках играет выражение. К выражениям относятся скалярные константы, структурированные объекты, функции, тела функций и вызовы функций.

Аппликативный язык программирования включает следующие элементы:

• классы констант, которыми могут манипулировать функции;

• набор базовых функций, которые программист может использовать без предварительного объявления и описания;

• правила построения новых функций из базовых;

• правила формирования выражений на основе вызовов функций.

Перечисленные свойства характеризуют аппликативные языки как языки программирования очень высокого уровня.

3.3 Логический (реляционный) язык

Язык PROLOG был создан французским ученым А. Кольмероэ в 1973 году. В настоящее время известны и другие языки, однако наиболее развитым и распространенным языком логического программирования является именно Пролог. Языки логического программирования широко используются в системах искусственного интеллекта.

Языки логического программирования характеризуются:

• высоким уровнем;

• строгой ориентацией на символьные вычисления;

• возможностью инверсных вычислений, то есть переменные в процедурах не делятся на входные и выходные;

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

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

Логические и функциональные языки – это декларативные языки. В этих языках отсутствует понятие «оператор» («команда»).

3.4 Объектно-ориентированный язык

Объектно-ориентированный язык создает окружение в виде множества независимых объектов. Каждый объект ведет себя подобно отдельному компьютеру, их можно использовать для решения задач как «черные ящики», не вникая во внутренние механизмы их функционирования.

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

В современных объектно-ориентированных (ОО) языках используются следующие методы: наследование,инкапсуляция,полиморфизм.

В некоторых объектно-ориентированных языках все методы классов являются виртуальными.

Многие современные языки специально созданы для облегчения объектно-ориентированного программирования. Однако следует отметить, что можно применять техники ООП и для не-объектно-ориентированного языка и наоборот, применение объектно-ориентированного языка вовсе не означает, что код автоматически становится объектно-ориентированным.

Часть языков (иногда называемых «чисто объектными» — Java или Ruby) целиком построена вокруг объектных средств — в них любые данные являются объектами, любой код — методом какого-либо класса и невозможно написать программу, в которой не использовались бы объекты. Другие языки («гибридные») включают ООП-подсистему в исходно процедурный язык. В них существует возможность программировать, не обращаясь к объектным средствам. Классические примеры — C++ и Delphi (Object Pascal).