Вольфенгаген В.Э.: Парадигма функционального программирования
Скачать книгу (размер 483 Kb , формат fb2, страниц 96)
Жанр : Общие вопросы разработки и тестирования программного обеспечения
Издательство : ЮрИнфоР
Год издания : 2012
Аннотация:
В работе отражены основные направления развития функционального программирования, как на уровне идей, так и на уровне технологий. Материал апробирован на практике в НИЯУ МИФИ, МФТИ, а также в ряде образовательных центров Российской Федерации. В первой части (автор: В.Э. Вольфенгаген) представлен обзор тенденций использования в программировании чистых функций, который годится как для продвинутых, так и для начинающих изучение компьютинга и информационных технологий. Функциональное программирование является развивающимся магистральным направлением, имеющим тенденцию роста в области программной инженерии. Как оказалось, корректность программы гораздо легче доказывать в том случае, когда она написана на функциональном языке. Преобразования функциональных программ значительно упрощаются из-за алгебраического происхождения функций. Применение таких преобразований открывает возможности для разработки инновационных механизмов оптимизации кода. Во второй части (авторы: Л.Ю. Исмаилова, С.В. Косиков) рассматривается фундаментальный для реализация самого подхода функционального программирования путь от логики к программированию: моделирование предметных областей; вычислительные модели; среды вычислений; концептуальное моделирование; категории и таксономии; аппликативные вычислительные системы; комбинаторно-полные системы; выход на инновационные решения и оснащающие их информационные технологии. Материал предназначен в помощь преподавателям, аспирантам и старшекурсникам ИТ-специальностей.