как понять, что должно быть в стейте для вызова функции и чем это отличается от явной применяемой инъекции зависимостей в ооп?

Не смотри на слово чистое, это плохое слово, оно плохо описывает то, что в ФП происходит.

Идея в том, что если у тебя раньше была функция

def count() -> int: 
   return get_counter()

Она не была сылочно прозрачной. Т.к если ты все вызовы count() заменишь на её возвращаемое значение, то ты получишь какую-то константу везде и потеряешь поведение программы.

Теперь ты сделал так:

def count_io() -> IO[int]:
   return lambda real_world: get_counter()

Теперь если ты эту функцию заменишь на её значение, то поведение не изменится, т.к. сама фyнкция count_io() ничего не делает с эффектами, она просто возвращает замыкание.

Соотвественно она ссылочно прозрачная.

тот же с другим посевом

Но она не чистая.

Да, правильно. Поэтому у rand в аргументе ГПСЧ

И выдаёт оно число и ГПСЧ обновлённый уже

def count() -> int: 
   return get_counter()

def count_io() -> IO[int]:
   return lambda real_world: get_counter()

но потом лямбду нужно вызвать

Это всё будет в типах, от которых можно абстрагироваться там, где о них не надо знать всё

привет, это IoC container, без фп

Только не один иок контейнер не даёт того, что дает нормальная система эффектов

да ладно

и чайник вокруг солнца не летает

Да писал я на вашем оопе в начале своей карьеры и это было адище

s/ооп/фп/

Да писал я на вашем фпе в начале своей карьеры и это было адище

Врешь

знатоки с++, это реально так? сравнение указателей?
и компилятор это пропихивает в себя?

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

Какое действие идёт по порядку за каким мы описываем через композицию подобных функций.

В итоге вся программа выглядит как гигансткая лямбда собранная из мелких копозицией.

И каждая функция в ней - ссылочно прозрачная, т.к. возвращает замыкание.

Да

как и ты