AH
о, збс, с монадой проще. Тут уже сто раз шутили что монада это всего лишь...
M<'a> -> ('a -> M<'b>) -> M<'b>. Я понял?Size: a a a
2020 August 12
МП
Там
Если я определю это и ещё одну
'a -> M<'a>, я получу свою монаду или нет?AH
Монада это просто некий контейнер над типами, который умеет мапить свои внутренности
AH
Если я определю это и ещё одну
'a -> M<'a>, я получу свою монаду или нет?ну ещё пару законов если докинешь сверху к этим функциям - получишь
AH
моноид тоже требует соблюдения пары законов
AH
типа a + 0 = a = 0 + a
МП
У моноида это замкнутость операции и наличие нулевого элемента, так?
AH
У моноида это замкнутость операции и наличие нулевого элемента, так?
но ещё и ассоциативность
(a + b) + c = a + (b + c)
это самое главное!
(a + b) + c = a + (b + c)
это самое главное!
AH
без него вся бигдата накрылась бы к хуям
AH
в бигдате всё обмазано моноидами.
AH
я бы сказал всё на них и работает
AH
это очень важный закон, который позволяет распараллеливать, сохранять и переиспользовать результаты агрегаций
МП
Вот это я пропустил мимо ушей
МП
Ну да ладной, давай уже сладенькое
МП
Что там у монады должно быть?
AH
А у монады?
левая, правая айдентити
я тебе копипастну тупо хаскель
я тебе копипастну тупо хаскель
Law 1: return x >>= f behaves the same as f x.
Law 2: m >>= return behaves the same as m.
Law 3: (m >>= f) >>= g behaves the same as m >>= (fun x -> f x >>= g).