Классификация языков программирования

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

В группу языков низкого уровня входят машинные языки и языки символического кодирования: Автокод, Ассемблер. Операторы этого языка — это те же машинные команды, но записанные мнемоническими кодами, а в качестве операндов используются не конкретные адреса, а символические имена. Все языки низкого уровня ориентированы на определенный тип компьютера, т. е. являются машинно-зависимыми.Наборы операторов и изобразительные средства машинно-зависимых языков существенно зависят от особенностей ЭВМ (внутреннего языка, структуры памяти и т. д.).

В группу языков высокого уровня входят машинно-независимые языки программирования, т. е. те, которые ориентированы не на систему команд той или иной ЭВМ, а на систему операндов, характерных для записи определенного класса алгоритмов. К языкам высокого уровня можно отнести такие языки программирования, как Фортран, Алгол, Кобол, Бейсик и др.

Языки программирования можно классифицировать по поколениям:

• — языки первого поколения: машинно-ориентированные с ручным управлением памяти на компьютерах первого поколения;
• — языки второго поколения: с мнемоническим представлением команд, так называемые автокоды;
• — языки третьего поколения: общего назначения, используемые для создания прикладных программ любого типа. Например, Бейсик, Кобол, Си и Паскаль;
• — языки четвертого поколения: усовершенствованные, разработанные для создания специальных прикладных программ, для управления базами данных;
• — языки программирования пятого поколения: языки декларативные, объективно — ориентированные и визуальные. Например, Пролог, ЛИСП (используется для построения программ с использованием методов искусственного интеллекта), Visual Basic, Delphi.

П. Пратт и М. Зелковиц в книге «Языки программирования: разработка и реализация» [2], дают подробное описание языков высокого и низкого уровней. Языки высокого уровня можно классифицировать на императивные, т. е. те, в которых одна инструкция (оператор) языка высокого уровня соответствует последовательности из нескольких низкоуровневых инструкций (команд); и декларативные, которые, в свою очередь, представляли описание действий, которые необходимо выполнить. Здесь нужно отметить, что декларативный подход имеет существенные преимущества перед императивным подходом, что связано с высокой степенью абстракции. Фактически, программист оперирует не набором инструкций, а абстрактными понятиями, которые могут быть довольно обобщенными. Сергей Зыков в своей лекции говорит о том, что «на начальном этаперазвития декларативным языкам программирования было сложно конкурировать с императивными в силу объективных трудностей эффективной реализации трансляторов. Программы работали медленнее, однако они могли решать более абстрактные задачи с меньшими трудозатратами.

Генеалогическое древо

Происхождение языков программирования, как уже говорилось раннее, тесно связано с появлением языка Ассемблер. Ассемблер активно используется и сегодня, несмотря на то, что относится к низкому уровню. Именно Ассемблер нужно считать прародителем всех языков программирования, как утверждают В. Ю. Баженова и В. А. Сухомлин [3].

Рисунок 1.1 — генеалогическое древо языков программирования.