ΑZ
у <$> ограничение - функтор, т.е. тот пример чисто на функтор
да, например этим функтором может быть монада
Size: a a a
2020 September 02
ΑZ
чтд
CD
порядок свойство любой монады
> любая операция над копией коммутирует с операцией над оригиналом
CD
для Result, под которым копируемое, это верно
ΑZ
не знаю что ты имеешь в виду
ΑZ
возможэно это имеет смысл
ΑZ
пойду работать
CD
в какой части
CD
не знаю что ты имеешь в виду
я же тебе уже все формально описал
CD
операция "копирование" к объекту типа T возвращает сущность такую, что новая и старая неразличимы в любой последовательности операций и их последовательности операций будут полностью коммутировать
CD
не знаю что ты имеешь в виду
если тебе дали два Result<i32> не важно, в каком порядке ты их будешь вычислять
CD
для IO так не работает
SP
помоему жиза
KR
Вот бы можно было пересмотреть, как будто не видел никогда
KR
Эх....
SP
я где то половину смотрел. реально же скучные тайтлы
SP
чет ни 1 не знаю
странно мне кажется что ты как раз должен быть фанатом трети кек
SP
ну оно не то чтобы порожняк все, но не КЛК и даже не ТТГЛ