Мультипарадигмальные языки программирования

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

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

Функциональное программирование: «Известна предметная область. Следует выбрать символьное представление данных для этой области и отла- дить систему универсальных функций, пригодных для использования в раз- ных программах обработки данных при решении актуальных задач из этой области».

Логическое программирование: «Дана коллекция фактов и отношений, показывающая актуальную задачу. Надо привести эту коллекцию к форме, достаточной для получения ответов на практичные запросы относительно данной задачи».

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

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

Таблица 41

Сравнение прагматических особенностей ПП

Продолжение т абл. 41

Заметные различия ПП видны и на уровне базовых семантических систем ЯП.

Таблица 42