Язык программирования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель (обычно — ЭВМ) под её управлением.
Первым языком программирования высокого уровня был Plankalkül, созданный Конрадом Цузе между 1942 и 1945 годами. Первый язык высокого уровня, имеющий связанный компилятор, был создан Коррадо Бемом в 1951 году для его докторской диссертации. Первым коммерчески доступным языком был FORTRAN (перевод формул), разработанный в 1956 году (первое руководство появилось в 1956 году, но впервые разработано в 1954 году) командой под руководством Джона Бэкуса из IBM.(информация взята с Википедии)
Конрад Цузе
Языки программирования делятся на два типа: процедурные и непроцедурные. Процедурные языки подразделяются на языки низкого уровня и высокого уровня. А непроцедурные делятся на объектно-ориентированные и декларированные.
Процедурные языки программирования позволяют разбивать код на подгруппы. Как я и сказал раннее процедурные языки программирования делятся на низкий уровень и высокий уровень, давайте разберемся с каждым из них.
Языки низкого уровня - это языки машинных кодов. Операторы этих языков ориентированы конкретные команды процессора.
Высокоуровневый язык программирования — язык программирования, разработанный для быстроты и удобства использования программистом. Основная черта высокоуровневых языков — это абстракция, то есть введение смысловых конструкций, кратко описывающих такие структуры данных и операции над ними. Кратко говоря эти более понятны для человека, чем низкоуровневые языки.
Принцип ООП(объектно-ориентированное программирование) заключается в том, что программа представляется в виде совокупности объектов, а объект уже является представителем определенного класса.
В декларативном программировании описывается ожидаемый результат, а не способ его достижения. В качестве примеров декларативных языков обычно приводят HTML и SQL.
Процеду́рное программи́рование — программирование на императивном языке, при котором последовательно выполняемые операторы можно собрать в подпрограммы, то есть более крупные целостные единицы кода, с помощью механизмов самого языка.