AA
шас вспомнил, что пока млтон был более-менее живой еще там были какие-то туманные планы сделать из него бекенд для фя
Size: a a a
2020 May 17
AA
надо ли говорить, что ниче не сделали они
AA
ну не ничего с этого слайда
MK
> 2006
AA
ну это то не 92-й, вот, недавно совсем был
YS
Может кто-нибудь подскажет зачем нужен такой тип данных как моноид. Что это такое я знаю, а в чем его прикладная значимость?
AA
это не тип данных
YS
Да, ошибся это класс типов.
K
Обобщение от всего, над чем есть ноль и бинарная операция (ассоциативная). Строки, списки, мапы, функции (возвращающие моноид), Sum, Product, All, Any...
MP
Yaroslav Seliverstov
Может кто-нибудь подскажет зачем нужен такой тип данных как моноид. Что это такое я знаю, а в чем его прикладная значимость?
если у вас есть x, y :: Map k (Set (String, Set v)), то для него
“x <> y” будет иметь достаточно практический смысл и даже возможно такой, какой вам нужно. Достаточно определить instance Monoid v и иметь всю моноидную функциональность (Semigroup скорее даже) забесплатно
“x <> y” будет иметь достаточно практический смысл и даже возможно такой, какой вам нужно. Достаточно определить instance Monoid v и иметь всю моноидную функциональность (Semigroup скорее даже) забесплатно
YS
Спасибо, до этого не задумывался над обобщением.
K
Yaroslav Seliverstov
Спасибо, до этого не задумывался над обобщением.
Поскольку Map/Set "пробрасывают" инстанс моноида,
x <> y сделает deepMerge этой структуреYS
Хм, интересно)