VL
тот который с пейтоном джонсом
кста он походу тоже поехавший
Size: a a a
2020 May 16
VL
всю лекцию вел босиком
VL
видимо вступил в клуб https://barefootislegal.org/
VL
я думаю поэтому Рич и не оценил лекции)
PG
а как mapM поймет что вернуть? если у нас например не Maybe а что-то другое
pure и bind достаточно, пруф
A
крч вот, я вроде понял, что меня смущает во всех этих объяснениях "что такое монада"
A
это принятое за истину утверждение "а теперь мы хотим композицию"
SM
это принятое за истину утверждение "а теперь мы хотим композицию"
То есть, мы всегда хотим выполнять только одно вычисление?
A
нет, я просто никогда не рассматривал последовательность вычислений как композицию
A
int x = 42;
int y = f(x);
int z = g(y);
return h(z);
A
чесслово, переписать это в виде h(g(f(42)));
Ну то есть да, я бы переписал. Но только тогда, когда это уже работает и проблем нету.
Ну то есть да, я бы переписал. Но только тогда, когда это уже работает и проблем нету.
S
Проблем каких то пакетах оно внутри устроено не так заметно ;)
A
у меня мозг маленький, я когда вызываю функцию f, то не особо знаю, куда мне этот результат потом еще понадобится.
A
и поэтому "сразу же его и передать в функцию g" это уже надо подумать
SM
Ну так код в монадках обычно в примерно таком стиле и пишется
A
Ну то есть чтобы прийти к монадкам надо сначала впитать в себя композицию
SM
В do-нотации
SM
Смысл скорее в том, чтобы отличить друг от друга разные типы эффектов
A
а я вон пишу код в стиле
func x = h(z)
where
y = f(x)
z = g(y)