Вопрос алгебраистам об объектно-ориентированном программировании, функциональном программировании и т.п. Уважаемые алгебраисты, вы, разумеется, догадываетесь, из какого фундаментального раздела алгебры у всех этих концепций программирования ноги растут.
Как считаете, правильно ли названо функциональное программирование? На мой взгляд, оно вовсе не функциональное, а функторное.

Предыдущий
вопрос Следующий
вопрос

Функциональное программирование действительно названо так не из-за того, что оно основано на функциях (хотя функции играют важную роль в этом стиле программирования), а из-за того, что основным строительным блоком программы являются функциональные объекты или "функции высшего порядка". Таким образом, можно сказать, что название "функциональное программирование" скорее обозначает принципы построения программ, чем сам характер использования функций в коде.

Однако, не следует забывать, что в программировании используется множество понятий и идей из различных областей математики, включая алгебру. Например, концепция функторов из категорной теории математики действительно играет важную роль при работе с функциональным программированием.

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