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

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

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

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

 

 

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

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

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

Таблица 41

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

ПП	Иерархическая декомпозиция программы	Укрупнение конструкций	Память и результат	Реализационная прагматика
ИП	Структуры дан-	Структуры и	S E C M	Раздельное хра-
	ных.	типы данных.	Стеки промежу-	нение программы
	Динамика вызо-	Функции над	точных результа-	и данных.
	вов процедур.	значениями и	тов и локальных	«Забывание»
	Области види-	указателями	переменных.	идентификаторов
	мости иденти-	Процедуры	Вектор общей	и типов данных
	фикаторов	изменения со-	памяти.	на период испол-
		стояний па-	Результат рас-	нения.
		мяти	средоточен по	Распределение
			именованным	памяти по прин-
			блокам	ципу соседства
			памяти M

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

 

ПП	Иерархическая декомпозиция программы	Укрупнение конструкций	Память и результат	Реализационная прагматика
ФП	Структуры	Функции,	S E C D	Тегированные
	данных.	отображаю-	Стеки для опе-	указатели.
	Динамика вызо-	щие аргу-	рандов и резуль-	Динамическое
	вов функций.	менты в ре-	татов, локаль-	распределение
	Статика и дина-	зультаты про-	ных определе-	памяти с автома-
	мика определе-	извольной	ний, программы	тизацией повтор-
	ний.	сложности.	и восстановле-	ного использова-
	Сохраняемые	Символьные	ния состояний	ния.
	состояния си-	выражения	памяти.	Программа имеет
	стемы програм-		Результат	представление
	мирования		в стеке S	в виде данных
ЛП	Структуры дан-	Шаблоны как	S E C D R	Разностные
	ных.	лаконичная	Стеки как для	списки.
	Динамика вызо-	форма пред-	ФП с добавле-	Перебор вариан-
	вов процедур	ставления пре-	нием регистра R	тов в порядке
		дикатов.	для хранения ва-	представления.
		Клаузы ча-	риантов.	Минимальность
		стичного	Результат –	приоритета тупи-
		определения	оценка выводи-	ковых вариантов
		логики вывода	мости цели
		цели
ООП	Распределение	Классы объек-	S E C D M	Представление
	методов обра-	тов.	Стеки как для	сигнатуры мето-
	ботки объектов	Методы обра-	ФП с добавле-	дов и их вызовов
	по иерархии	ботки объек-	нием вектора M	на период испол-
	классов.	тов опреде-	для хранения	нения.
	Наследование	ленного	полиморфных	Выбор метода по
	дисциплины до-	класса.	определений ме-	числу аргументов
	ступа к полям	Структуры	тодов	и типам данных
	объекта.	данных.
	Области види-	Полиморфные
	мости методов	определения

 

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

 

Таблица 42