с нечистотой ввода-вывода?
Я бы с этим согласился
Это способ починить композицию в тех случаях, когда функции не просто аргументы перегоняют в результат, а имеют некий эффект — состояние, недерминируемость, ввод-вывод
Это описание чистого механизма взаимодействия с грязной внешней средой.
Монады оказались пригодны и удобны для IO, но монады полезны сами по себе. С "чистотой" есть та проблема, что у нее, как минимум, две распространенные интерпретации. И не все всегда понимают, какая именно имеется в виду. Поэтому лучше акцентировать внимание на "ссылочную прозрачность".
Обсуждают сегодня