7. Основные понятия языков программирования. Развитие языков программирования.

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

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

Задача: язык программирования отличается от естественных языков тем, что предназначен для передачи команд и данных от человека к компьютеру, в то время как естественные языки используются для общения людей между собой. Можно обобщить определение «языков программирования» — это способ передачи команд, приказов, чёткого руководства к действию; тогда как человеческие языки служат также для обмена информацией.

Исполнение: язык программирования может использовать специальные конструкции для определения и манипулирования структурами данных и управления процессом вычислений.

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

С развитием компьютерной техники появился машинный язык, с помощью которого программист мог задавать команды, оперируя с ячейками памяти, полностью используя возможности машины. Суть этого языка — набор кодов, обязательно понятных процессору, к кому обращаются. Части («слова») этого языка называются инструкциями, каждая из которых представляет собой одно элементарное действие для центрального процессора, как, например, считывание информации из ячейки памяти. Если знаешь, можно непосредственно управлять процессором. Тогда ещё компьютеры были простыми вычислительными машинами, основная задача была считать. Но они развивались, а, понятно дело, использование большинства компьютеров на уровне машинного языка затруднительно, особенно это касается ввода-вывода. Поэтому со временем от его использования пришлось отказаться.

Языки высокого уровня

Языки высокого уровня имитируют естественные языки, используя некоторые слова разговорного языка и общепринятые математические символы. Эти языки более удобны для человека, с помощью них, можно писать программы до нескольких тысяч строк длиной. Конечно, это достижение было очень ценно. Условными словами можно было, как привычно человеку, гораздо более просто выразить сложную программную операцию из битов. Однако, легко понимаемый в коротких программах, этот язык становился нечитаемым и трудно управляемым, когда дело касалось больших программ. То есть, простоты по-прежнему не хватало. Решение этой проблемы пришло после изобретения языков структурного программирования (англ. structured programming language), таких как Алгол (1958), Паскаль (1970), Си (1972).

1959-й год — изобретён COBOL.

1962-й год — Симула. С него началась эпоха структурного программирования.

Появление структурного программирования

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

А следующим достижением было использование структур, благодаря которым перешли к классам. Структуры — это составные типы данных, построенные с использованием других типов. Например, структура времени: в неё входят: часы, минуты, секунды. Свою очередь и часы, и минуты, и секунды — они описаны при помощи других, более простых и более элементарных типов. Вместо сложной работы надо множеством типов, из которых каждый может быть со своими ограничениями — и что подходит одному типу, запрещено в другом, — вместо того программист бы мог создать структуру «время» и работать с ней, как с единым типом, где нету исключений и один формат.

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

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

ООП

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

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