ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>
Парадигма функционального программирования
|
|
|||||||||
В работе отражены основные направления развития функционального программирования как на уровне идей, так и на уровне технологий. Материал апробирован на практике в НИЯУ МИФИ, МФТИ, а также в ряде образовательных центров Российской Федерации.
В первой части (автор: В.Э. Вольфенгаген) представлен обзор тенденций использования в программировании чистых функций, который годится как для продвинутых, так и для начинающих изучение компьютинга и информационных технологий. Функциональное программирование является развивающимся магистральным направлением, имеющим тенденцию роста в области программной инженерии. Как оказалось, корректность программы гораздо легче доказывать в том случае, когда она написана на функциональном языке. Преобразования функциональных программ значительно упрощаются из-за алгебраического происхождения функций. Применение таких преобразований открывает возможности для разработки инновационных механизмов оптимизации кода.
Во второй части (авторы: Л.Ю. Исмаилова, С.В. Косиков) рассматривается фундаментальный для реализация самого подхода функционального программирования путь от логики к программированию: моделирование предметных областей; вычислительные модели; среды вычислений; концептуальное моделирование; категории и таксономии; аппликативные вычислительные системы; комбинаторно-полные системы; выход на инновационные решения и оснащающие их информационные технологии.
Материал предназначен в помощь преподавателям, аспирантам и старшекурсникам ИТ-специальностей.
См. также
Wolfengagen V.E. Combinatory logic in programming. Computations with objects through examples and exercises.
Содержание
Развитие функционального программирования (В.Э. Вольфенгаген)
- Введение
- Особенности функционального программирования
- Полезные математические свойства функционального программирования
- Фазы нарастания развития функционального программирования
- Период бурного развития функционального программирования
- Параллелизм в функциональном программировании
- Отношение к функциональному программированию
- Компилирование функциональных языков
- Язык Haskell
- Развитие параллелизма в функциональном программировании с 1990 г.
- Семь вопросов К. Стрейчи
- Параллелизм или одновременность
- Перспективы функционального программирования для организации символьных вычислений в GRID
- Заключение
- Список литературы
Парадигмы аппликативного программирования: от логики через редукцию к программированию (Л.Ю. Исмаилова, С.В. Косиков)
- Функциональные модели бизнес-логики
- Битва моделей
- Основания аппликативного подхода
- Аппликативные вычислительные системы
- Аппликативный взгляд на инновационные технологии
- Заключение
- Список литературы
