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

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

· языки программирования высокого (Паскаль, Бейсик)

· низкого уровня (Ассемблер);

· строго типизированные (Паскаль);

· нестрого типизированные (Бейсик);

· с поддержкой объектно-ориентированного программирования (Си++)

· без поддержки объектно-ориентированного программирования и т. д.

Есть и другая классификация языков программирования:

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

· высокое качество создаваемых программ (компактность и скорость выполнения);

· возможность использования конкретных аппаратных ресурсов;

· для составления эффективных программ необходимо знать систему команд и особенности функционирования данного ПК;

· трудоемкость процесса составления программ;

· низкая скорость программирования;

· невозможность непосредственного использования программ, составленных на этих языках, на ЭВМ других типов.

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

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

Автокоды. Языки, включающие в себя макрокоманды, называются автокоды. Макрокоманды переводятся в машинные команды. Макрокоманды обеспечивают передачу фактических параметров, которые в процессе трансляции вставляются в «остов» программы, превращая её в реальную машинную программу. Развитые автокоды получили название ассемблеры. Сервисные программы и пр., как правило, составлены на языках типа ассемблер.

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

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

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

Универсальные языки были созданы для широкого круга задач: коммерческих, научных, моделирования и т. д.

Диалоговые языки - системы, обеспечивающие оперативное взаимодействие человека с ПК. Необходимость обеспечения оперативного взаимодействия с пользователем потребовала сохранения в памяти ЭВМ копии исходной программы даже после получения объектной программы в машинных кодах. При внесении изменений в программу с использованием диалогового языка система программирования с помощью специальных таблиц устанавливает взаимосвязь структур исходной и объектной программ. Это позволяет осуществить требуемые редакционные изменения в объектной программе.

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