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

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

Термин «парадигма программирования» впервые применил Роберт Флойд в своей лекции лауреата премии Тьюринга.

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

 

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

 

1.Императивные языки программирования
— языки, оперирующие командами, изменяющими значение элементов данных. Характеризуются наличием операций присваивания и циклами.
подгруппы:
•универсальные ЯП (Паскаль, СИ, Бейсик, Фортран)
•языки ООП ( Java, SmallTalk, Self, Cecil)
•языки сценариев (Rexx, Python, JavaScript, HTML)
 

2.Декларативные языки
— языки, оперирующие инструкциями о данных и отношениями между данными.
подгруппы:
•языки логики (Prolog, KLO, Mercury)
•функциональные языки (Lisp; Miranda, Haskel) 

 

Императивные языки скорее отвечают на вопрос «как?», декларативные — на вопрос «что?».