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

если там есть объекты, это ещё не значит что это ооп, нужно чтоб программа ещё была на них ориентирована

Т.е. уже любая реализация того же JPA является уже не ссылочно прозрачной.

ООП это процедурщина с порезанными фёрст класс модулями с сабтайпингом

И более того, она делает даже хорошие классы грязными из-за ленивой загрузки, как пример.

А чем тебе фёрст класс модули не ООП

Ещё скажи, что Ocaml не ООП

Окамл это ООП

Прям со всеми недостатками, разве что синтаксис поприятнее и типы получше

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

внутри транзакции, или снаружи?

докажи

Разница в том, что если десугарить эту запись как было тобой предложено, то программы в ней не будут ссылочно прозрачны, как ты и указал в примере выше.

А если десугарить по второму варианту, то это свойство будет сохранятся, т.е. есть ли мы заменим read_line_io на возвращаемое значение, то получим:

(lambda _: получение из консоли строки).bind(lambda a: a + "\n")

Что сохранит нужное нам поведение

Проблема в том, что не ленивые таски нарушают ссылочную прозрачность.

Как раз тем, что запускаются при обьявлении.

чем? ты всегда можешь заменить их на завершённые таски

Вот пример этого я прям выше и кидал:

https://imgur.com/S19Nr4a.png

Вот тут Future - это не ленивый таск, который запускается сразу.

Из-за этого мы можем получить проблемы даже при малейших изменениях кода, как в примерах, или поведение с неявно непредсказуемым порядком действий.

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

ну я угадал не подглядывая, но не знаю что мне с этим делать

Очень легко понаблюдать "нечистоту" просто заменяя в одни таски на функции из юнита, а другие не заменяя