Городняя Лидия Васильевна

Институт систем информатики СО РАН

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

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