к алгоритмизации алгоритмы, струкутуры данных и программирование СУБД ЯиМП 3GL 4GL 5GL технологии прогр.

Уровни языков программирования и эволюция языков

Языки программирования часто классифицируют по уровню. Уровень языка показывает, насколько язык близок к естественной для человека записи. Процедурные языки - самого низкого уровня. Функциональные - значительно выше. Логические языки в принципе могут быть самого высокого уровня, но из-за высокой сложности теории, лежащей в их основе, разрабатываются довольно медленно. Широко распространённых в мире языков логической группы довольно мало.

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

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

В настоящее время в мире существует несколько сотен реально используемых языков программирования. Для каждого есть своя область применения.

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

По этому критерию можно выделить следующие уровни языков программирования:

машинные;
машинно-оpиентиpованные (ассемблеpы);
машинно-независимые (языки высокого уровня).

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

С появлением ЭВМ 2-го поколения (транзисторных) появились языки второго поколения (2GL), в которых степень интеграции действий была на порядок выше. Это такие языки, как макроассемблер и автокод.

Языки высокого уровня или языки третьего поколения - 3GL имитируют естественные языки, используя некоторые слова разговорного языка и общепринятые математические символы. Эти языки более удобны для человека.

Языки высокого уровня (3GL) делятся на:

процедурные (алгоритмические) (Basic, Pascal, C и др.), которые предназначены для однозначного описания алгоритмов; для решения задачи процедурные языки требуют в той или иной форме явно записать процедуру ее решения;
логические (Пролог, Lisp и др.), которые ориентированы не на разработку алгоритма решения задачи, а на систематическое и формализованное описание задачи с тем, чтобы решение следовало из составленного описания;
объектно-ориентированные (Object Pascal, C++, Java и др.), в основе которых лежит понятие объекта, сочетающего в себе данные и действия над нами. Программа на объектно-ориентированном языке, решая некоторую задачу, по сути описывает часть мира, относящуюся к этой задаче. Описание действительности в форме системы взаимодействующих объектов естественнее, чем в форме взаимодействующих процедур.

Эволюция языков программирования

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

Рисунок 1 - Диаграмма уровня языков математической записи.

Как видно из диаграммы, языки программирования подчинены некоторой общей закономерности. Их уровень и степень декларативности плавно и взаимосвязано растёт. Наиболее прогрессивными для прикладного высокоуровневого программирования являются, по-видимому языки, основывающиеся на функциональном и логическом подходах. (Не следует забывать, что в мире разработано много так называемых систем искусственного интеллекта - ИИ, которые не входят в рамки конкретной группы, но тоже оказывают несомненное влияние на эволюцию языков.)

к алгоритмизации алгоритмы, струкутуры данных и программирование СУБД ЯиМП 3GL 4GL 5GL технологии прогр.

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

НОВОСТИ ФОРУМА

Рыцари теории эфира