Препринт посвящен анализу и сопоставлению ряда
аналогий, иллюстрирующих понятия и особенности языков и систем
функционального программирования. Идеи и механизмы
функционального программирования опираются на интуитивное понятие
о функциях как о достаточно общем подходе к представлению и анализу
решений сложных задач. Решения представляются в форме соответствий
между аргументами и результатами функций. Механизм функций
основательно изучен математиками, и это позволяет программистам
наследовать выверенные построения, обладающие предельно высокой
моделирующей и доказательной силой. Систематическое применение
функционального программирования впервые достаточно ярко было
продемонстрировано Джоном Маккарти и его учениками в методах
реализации языка Lisp и программирования на этом языке. Наиболее
очевидные из этих методов были успешно ассимилированы другими
языками и системами современного программирования. Обычно про
функциональное программирование вспоминают при смене технологий,
когда возрастает роль аналитики, исследовательских задач, и происходят
открытия новых приложений ИТ. Связь функционального
программирования с математическими основами позволяет в тексте
программы наследовать доказательность построения результата, если она
достигнута, причем с использованием разных методов абстрагирования
понятий решаемой задачи.
