I
a -> M b же
Size: a a a
2021 January 15
I
Вот картинка про монады, почему здесь M a , а потом a -> M b . a и b в примере int, один и тот же тип, тогда будет a -> M a
Здесь про общий случай
I
Some x |> Option.bind (fun x -> if x > 3 then Some x else None) к примеру - здесь только int. А если вернуть Some float x, то тип уже изменится
I
Так что в целом a -> M b указывает на то, что выходной тип может быть любым
AH
Вот картинка про монады, почему здесь M a , а потом a -> M b . a и b в примере int, один и тот же тип, тогда будет a -> M a
потому что a -> M a это просто Task.FromResult
AH
ты из типа инт можешь сделать Task<int>
AH
достаточно бесполезно в работе
I
Вот картинка про монады, почему здесь M a , а потом a -> M b . a и b в примере int, один и тот же тип, тогда будет a -> M a
Вообще map/bind очень легко воспринимается глядя на код этих функций. А не на эти графики и объяснения
MS
Вообще map/bind очень легко воспринимается глядя на код этих функций. А не на эти графики и объяснения
да я вроде понимаю, но вроде и нет ¯\_(ツ)_/¯
I
да я вроде понимаю, но вроде и нет ¯\_(ツ)_/¯
MS
I
Да, всё верно в целом. На опшенах легко понимаешь что к чему, ибо ты с ними часто работаешь и привыкший
I
А как понял, то можно на любой контейнер логически перенести такое поведение
MS
А как понял, то можно на любой контейнер логически перенести такое поведение
аа, то есть такие функции можно друг в друга отправлять !
MS
ну или как это правильно выразить
MS
цепочкой вызывать
I
Ну, это да) Option.map |> Option.bind |> Option.bind
I
стандартно
VZ
Лучше .Value напрямую не использовать,