Дай ты человеку посчитать скобощки

Лично для меня пока выглядит так — пришёл человек, пёрнул в лужу, сопроводил это парой фраз сомнительного содержания. Великолепная дискусссия.

ну я со своей колокольни не вижу.

Ну, agile, solid, clean architecture там.

в смысле, чувак в нужный момент доходчиво обобщил понятные вещи

хотя 30 лет назад возможно они не были настолько понятными, когда ООП вообще было в новинку.

Видимо эффекты подобного толка.

Типа "все так делают"

Так а по факту, дядя боб признал что все это время занимался всяким,а красота в лиспах, Клода хороший лисп, ожидаем прибытие в сообщества людей

В общем основная причина того, что я вспомнил seinfeld — это не так давно прочитанная интерпретация эффекта, типа "смотрел сайнфилд, не смешно". А причина в том, что сайнфилд породил большое число приёмов и шуток, которые ушли в мэйнстрим. Т.е. сейчас это не смешно, потому что все накопировали оттуда.

По факту дядя Боб написал, что ему хотелось. Для кложи это, наверное, неплохо.

С паттернами та же история. По-моему Норвиг где-то говорил, что когда-то вызов подпрограммы был паттерном.

причем, его можно было делать по-разному

близкий вызов/далекий, с пераметрами в регистрах/стеке, с откруткой сетка/без ...

и еще куча соглашений

а ведь до этого вполне применялись джапмы снаружи в середину функции

потом появился типа "паттерн", как лучше делать, чтобы не нажить себе лишнего гемора.

это в основном из-за плагинов для реактора, плагин упрощает работу со списками и т.п.

У меня вопрос о чистоте функций.

Случай 1.
Есть база данных с транзакциями, дающими неизменяемый снимок данных.
Транзакция моделируется объектом T.
При открытии транзакции создается функция F, замыкающая T.
Функция F принимает номер строки, которую нужно прочитать из таблицы в этой бд,
и возвращает эту строку.

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

Так-то процеесор ходит по шине в оперативную память за данными.
И гипотетически может потерять это соединение.

Поход и в память и в бд сопровождаются задержками, только разных порядков.

Т.е. с практической точки знения F - чистая функция.

Случай 2.
У нас есть ленивые бесконечные последовательности, которые вычисляют следующий элемент.
При этом последовательность кэширует рассчитанные элементы.

Можно сделать ленивую бесконечную последовательность случайных чисел.

И да, это напоминает "обычную" детерминированную последовательность.

Вопрос.
Может быть есть название для этих случаев?
Получистые функции? semipure functions?

Где можно поподробнее об этом посмотреть?


Дополнение.
Datomic использует именно этот подход.