ΑZ
так что вопрос не в этом
Size: a a a
2020 September 02
CD
если порядок операций не важен или она вообще одна, то разницы нет
ну это моё определение копирования в текущий момент
ΑZ
ну ерунда выходит
ΑZ
(+1) <$> anymonad - тут нет последовательности операцийΑZ
ибо она всего одна - инкремент на единичку
A
Так там и монада не используется
CD
(+1) <$> anymonad - тут нет последовательности операцийну посмотри, что получится, если два раза вызвать функцию, которая вернет IO
A
а используется функтор
ΑZ
а используется функтор
монада явлется функтором
A
ну посмотри, что получится, если два раза вызвать функцию, которая вернет IO
Оба раза вернется IO
ΑZ
это сабкласс же
CD
так и есть, только теперь собрать их в одно IO как раз требование указать порядок
CD
а main может вернуть только одно IO
A
так и есть, только теперь собрать их в одно IO как раз требование указать порядок
Так а как иначе-то?
ΑZ
порядок свойство любой монады
CD
ну вот
ΑZ
включая резалт
CD
монада IO не наследует копируемость, она просто всегда не копируется
ΑZ
Err("Hello").and_then(|_| Err("World")) - от порядка сильно зависитA
монада явлется функтором
у <$> ограничение - функтор, т.е. тот пример чисто на функтор