TG
Size: a a a
2021 June 02
(
что значит передавать монаду в монаду?
TG
Так чтобы одна монада могла получать в процессе свёртки(fold) значение из другой монады с fold(...)
TG
Если понимать под концепцией монад,не что иное как, способ соединять вычисления вместе.
(
можно пример, какие монады имеются ввиду?
TG
Это хороший вопрос)) Хотя я имею ввиду как в целом абстрактное понятие под - монадами
TG
Ну скажем Either
U
Эм... Монада без bind - не монада. А связывание, собственно, и занимается тем, что вы описали.
TG
Bind по типу Хаскеля ? Там насколько я понимаю подразумевается полиморфизм и в bind-связывание можно скидывать разные функции ?
TG
Т.е. в монаде может быть fold- свёртка,а может и не быть ,заменена на какую то другую композицию ?
U
Читаю, слова знакомые, смысла не понимаю. Извините, не подскажу.
(
Монада в самом топорном случае, без умных слов и точных определений должны иметь вот такую штуку:
где
У монады вообще не обязан быть
fun <A, B> M<A>.bind(f: (A) -> M<B>): M<B>
где
M это некоторый тип конкретной монады. Он говорит о том, что мы не можем в общем случае сделать из Either какой-нибудь Option/List/rx.Maybe или что-нибудь в этом роде.У монады вообще не обязан быть
fold, это свойство некоторых конкретных типов данных, которые по совпадению являются монадамиTG
А в монаде может не быть side effects ? В Википедии встречается определение, что монады якобы созданы под вызов из чистых функции для обработки каких-то побочных эффектов .Или это не всегда так ?
(
Какие сайд-эффекты у Either?
TG
Хм ну даже и не знаю , вернее туда ж можно накидать разных функций внутрь ?
(
внутрь чего?
TG
Either монады
(
Покажите пример
TG
Ну так сразу не покажу кодом ,к примеру ,что если монада Either могла бы проверять доступность соединения с интернетом для входящего списка адресов ,но если доступность появляется изменять значение в этом списке для каждого элемента .Так можно было б описать монаду ?
TG
т.е.там было состояние временное на подобие :: IO в Haskell