p
Ок
Size: a a a
2020 March 28
AZ
самый простой аргумент: без гц не сделать монад
p
Т-34 85
он апять набрасывает, баньти иво!
У тебя учусь
AZ
а мне хочется монады
В
даже в расте это можно выразить, достаточно юзать NonZero для делимого
Только
NonZero тебе потом обратно конвертить :(AZ
Только
NonZero тебе потом обратно конвертить :(куда обратно?
AZ
для арифметики да, надо
p
самый простой аргумент: без гц не сделать монад
Можно пойти путем раста и копипастить методы везде
В
куда обратно?
В обычное число
AZ
я уже говорил, в расте честные монады это только опшн и резалт
EG
я уже говорил, в расте честные монады это только опшн и резалт
В расте нет честных монад же
AZ
В расте нет честных монад же
честные монады это для которых законы выполняются
EG
Потому что нельзя написать
fn<T, M: Monad> f(x: M<T>) -> M<u32>
SP
монадический уклад един
p
Потому что нельзя написать
fn<T, M: Monad> f(x: M<T>) -> M<u32>
Потому что так не надо писать, лол
AZ
Потому что нельзя написать
fn<T, M: Monad> f(x: M<T>) -> M<u32>
я в статье же писал
AZ
наличие трейта Monad не обязательно чтобы монада была честной
AZ
хотя без него она не особо полезна
EG
Без HKT ты не можешь делать обобщённые операции над монадами