ND
Size: a a a
2020 May 16
PG
Наверное, не силен в именах
sz = ш, cz = ч, rz = ж/ш
A
а, этот курс у меня тоже открыт в одной из вкладок браузера
A
и вроде как я там уже дочитал до 8-й главы (первой части), а монады там в третьей части
DL
от иниго мантойа?
prepare to die?
m
prepare to die?
damn right
VL
map :: Monad m => (a -> m b) -> [a] -> [m b]
mapM :: Monad m => (a -> m b) -> [a] -> m [b]
видишь разницу?
а как mapM поймет что вернуть? если у нас например не Maybe а что-то другое
A
ну я подозреваю, что там для этого используется какой-то из операторов собссно монады
VL
в расте что-то похожее делает метод
.collect<Result<Vec<V>, T>>() он возвращает Err если какой-то из итераторов вернул ErrVL
и Ok<Vec<V>> если все вернули Ok
VL
но его так же можно и записать как
тогда у тебя будет вектор result'ов
.collect<Vec<Result<V, T>>>() тогда у тебя будет вектор result'ов
DL
здравствуйте, это чатик штангистов?
VL
я так понимаю это монада?
VL
здравствуйте, это чатик штангистов?
я начинающий)
VL
Я посмотрел Advertures With Types in Haskell
VL
тот который с пейтоном джонсом
VL
который Рич хейтил
VL
в своем simple made easy
VL
конструкторы типов это прикольно