Препринты Института систем информатики СО РАН 2023 г.

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