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

Термин «парадигма программирования» ввел Роберт Флойд. Сам термин «парадигма» имеет философское толкование. В философии парадигма (с греческого παράδειγμα – «пример, модель, образец») означает совокупность определенных принципов, достижений, аксиом, признаваемых всеми в тот или иной период времени, на основании которых выдвигают определенные научные теории и методологические концепции. Парадигмы в программировании носят диалектический характер, могут со временем опровергаться, дополнятся и изменятся.

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

· состояний программы и команд, изменяющих их (императивное программирование),

· математических функций без состояний (функциональное программирование),

· объектов и взаимодействий между ними (объектно-ориентированное программирование),

· алгоритмов и контейнеров, оперирующих с типами данных, переданными как параметр (обобщенное программирование),

· значений и операций, преобразующих значения (программирование на уровне значений), и т.д.

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

К процессу создания программы надо подойти творчески.

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