У одного 23 часа, у другого 2 часа ночи

Монадка помогает тебе построить индиректное представление твоего контролфлоу и налагать какие-то аспекты

А тебе нужен прямой контроль над ДАГом твоего процесса плюс возможность этот даг сериализовывать

Можно завтра позвездеть про это

А то все пиздон-пиздон

Совсем ошалели

Да, ты прав. Пойду я.

Всем добра

И вообще, приходил бы ты к нам в скалачат

Там хоть кто-то о чем-то по делу говорит

Хотя тоже половина времени - срач про диай

и виды ио-монадки

Если ты про понв то я пока не очень хочу

так и будешь всю жизнь дуракам про виды писаной торбы рассказывать?

Поверил или как?

Сослать куда-то, а если не поймёшь что-то конкретное - вопросы тут

@p0lunin @pavlus_0 Т-34

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

Посмотрите на этот пример кода на Rust. Здесь функции print_something, our_main и print_really_big чистые (о чём свидетельствует const), т.к. всегда возвращается эквивалентный Future. Внутри себя Future делает I/O.

В самом низу main - это то, что творится в интерпретаторе функционального языка программирования. Он вызывает наш our_main и уже делает грязную работу.

- Но весь мир же грязный!
Да, но нас это не волнует и волновать не должно.

- Но I/O же всё равно делается!
Пусть делается, наша программа же должна как-то работать. Просто мы хотим от ФП языка одновременно и ссылочную прозрачность, и возможность полноценного I/O.

Слово "интерпретатор" я использовал для простоты объяснения. На самом деле, Haskell компилируется в машинный код. Функциональность языка не означает то, что он обязательно в интерпретаторе будет исполняться.

Тело функции our_main эквивалентно do-нотации или последовательному вызову andThen.

ок, а если убрать футуры, то что изменится?