t
утрируя - все функции, возвращающие любые монады, можно заинлайнить, превратить в одну гигантскую простыню, где ни одной функции не останется вовсе
Size: a a a
2020 June 21
t
развернуть полностью
t
поменяется ли хоть что-то? ничего не поменяется
t
как было списком инструкций, так и останется
t
только станет непонятным нечитабельным списком инструкций
t
red75prime
Они вообще ничего не делают, если нет IO. Существуют в платоновском пространстве идей, так сказать
можно и так сказать. они даже с IO ничего не делают, во что p0lunin [BPL] никак не может поверить
SP
замыкания делают функцию нечистой?
ну слушайте это смешно уже. это разница в caller и callie. вы заявляете что если мы сами вызываем то не чисто а если нас вызывают то чисто
SP
монада не "выполняется" нечисто. господи, я не могу понять, как можно не понимать, что монады это просто списки замыканий
это дырка в выполнении которая отдается наружу, да именно
t
нет. чистота определяется не через кто кого "вызывает".
SP
нет. чистота определяется не через кто кого "вызывает".
в случае монад это именно так
t
это дырка в выполнении которая отдается наружу, да именно
нет. ну т.е. промисы/футуры могут быть монадой, но в общем случае может и не быть никакого "наружу"
t
и это не "дырка", которую нужно заполнить
SP
ио - дырка
t
нет, ио - просто список инструкций. как и любая другая монада.
AZ
ио - дырка
сделай свой ИО и успокойся уже
SP
функция отдает чтото что нужно вызвать и передать замыканию чтото
t
какая семантика у этих инструкций, решает реализация монады
AZ
если это такая магическая дырка
AZ
то её невозможно реализовать пользователю
AZ
особенно в расте