KS
Вот это твой стереотип просто
Size: a a a
2020 October 08
E
не замечено, чтобы после прочтения фп книг кто-то понимал манатки
а когда понимание приходит?
KS
Ага
Oℕ
а когда понимание приходит?
после кода, когда хуяк флат мап туда сюда после штук 5 разных монадок
E
Меня точно так же тошнит от ООП, как и тебя, но я не кидаюсь в другую крайность
вот я тоже такое заметил за оопшнмками
SK
я кстати, пока из четырёх человек, упоминавших это в хаскельчате нашёл 0, которые способны были бы объяснить
встречал где-то три годных объяснения, одно из них твое, второе где-то здесь в комментариях было https://www.reddit.com/r/haskell/comments/rr972/translation_of_monads_are_just_monoids_in_the/
E
они почему-то думают, что злые фпшники хотят разрушить их мир
D
Может кто-то дать ДОСТОЙНОЕ ПРЕМИУМ определение МОНАДЫ для СОБЕСА?
D
чтобы ответ УДОВЛЕТВОРИЛ ВСЕХ???
Oℕ
вот я тоже такое заметил за оопшнмками
KS
Может кто-то дать ДОСТОЙНОЕ ПРЕМИУМ определение МОНАДЫ для СОБЕСА?
Сразу ливаю с такого собеса
E
чтобы ответ УДОВЛЕТВОРИЛ ВСЕХ???
так был же
Oℕ
Может кто-то дать ДОСТОЙНОЕ ПРЕМИУМ определение МОНАДЫ для СОБЕСА?
ну определение просто формальное
Oℕ
/get monad
S
monad
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
Oℕ
/get monad-laws
S
monad-laws
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
Oℕ
чо непонятного
D
1. Монада - это контейнер (для мусора)
2. 3 правила (про стулья)
3. Ебанавтика
2. 3 правила (про стулья)
3. Ебанавтика