Являются ли функции в функциональном программировании синглтонами?

Функции в функциональном программировании (ФП) могут казаться синглтонами, поскольку они не имеют побочных эффектов и возвращают одинаковый результат для одних и тех же входных данных. Однако, это не совсем так из-за наличия замыканий, которые создают уникальные экземпляры функций, привязанные к своему окружению, что противоречит идее синглтона. Хотя по коду функции могут выглядеть одинаково, их внутреннее состояние (лексический контекст) будет разным, и они будут вести себя как разные объекты.
Являются ли функции в функциональном программировании синглтонами?
Изображение носит иллюстративный характер

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

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

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


Новое на сайте

19857Острова как политический побег: от Атлантиды до плавучих государств Питера Тиля 19856Яйца, которые спасли предков млекопитающих от худшего апокалипсиса на Земле? 19855Могут ли омары чувствовать боль, и почему учёные требуют запретить варить их живыми? 19854Премия в $3 млн за первое CRISPR-лечение серповидноклеточной анемии 19853Почему сотрудники игнорируют корпоративное обучение и как это исправить 19852Тинтагель: место силы Артура или красивая легенда? 19851Голоса в голове сказали правду: что происходит, когда галлюцинации ставят диагноз точнее... 19850Куда исчезает информация из чёрных дыр, если они вообще исчезают? 19849Чёрная дыра лебедь Х-1 бросает джеты со скоростью света — но кто ими управляет? 19848Что увидели фотографы над замком Линдисфарн — и почему они закричали? 19847Почему антисептики в больницах могут создавать устойчивых к ним микробов? 19846Правда ли, что курица может жить без головы? 19845Как Оскар Уайльд использовал причёску как оружие против викторианской морали? 19844Назальный спрей против всех вирусов: как далеко зашла наука 19843«Я ещё не осознал, что мы только что сделали»: первая пресс-конференция экипажа Artemis II
Ссылка