Телеграмм чат группы haskellru страница 12894

api неудобный какой-то

15:39пожаловаться #1

у tasty человечнее

Зигохистоморфный Пре... in Haskell

15:40пожаловаться #2

ЗП

A64m AL256m qn I0

> as = [(">4", (>4)),(">5",(>5))]

> L.fold (traverse (\(t,p) -> (t,) <$> L.prefilter p L.length) as) [1..10] 
[(">4",6),(">5",5)]

можно еще через моноидальный мап

Зигохистоморфный Пре... in Haskell

15:45пожаловаться #3

ЗП

groupByMonoid keyFn valFn = foldMap (\v -> MM.singleton (keyFn v) (valFn v))

groupByMonoid (\x -> if even x then "even" else "odd") (const (Sum 1)) [1..10]

15:46пожаловаться #4

Maxim Koltsov in Haskell

Где-то я это уже видел

15:47пожаловаться #5

там главное - список тегированных сворачивателей же. но на моноедах все это можно

Зигохистоморфный Пре... in Haskell

15:48пожаловаться #6

ЗП

Maxim Koltsov

Где-то я это уже видел

туть)
https://github.com/xgrommx/purescript-monoidal-ordered-collections/blob/master/src/Data/Monoidal/Map.purs#L33

GitHub

xgrommx/purescript-monoidal-ordered-collections

Contribute to xgrommx/purescript-monoidal-ordered-collections development by creating an account on GitHub.

15:48пожаловаться #7

Maxim Koltsov in Haskell

Maxim Koltsov

λ> let as = [("even", even), ("odd", odd)] in M.toList $ M.fromListWith(+) $ concatMap (\i -> map (\(a, p) -> (a, if p i then 1 else 0)) as) [1,2,3,4,5]
[("even",2),("odd",3)]

А может тут

15:48пожаловаться #8

ток это моноидное сворачивание против фолдл как теотип против ленз

15:48пожаловаться #9

А что более индустриальное TF или FD?

16:07пожаловаться #10

думаю, что нехаскелист скажет скорее что тф из за того что ассоц. типы более привычная штукв по сравнению с олегопрологом, а хаскелисты наоборот, потому что фд раньше и привычнее

16:16пожаловаться #11

Но вот хаскелистам не нравится что фд это хак

16:19пожаловаться #12

тем более хак -> индустриальнее

16:20пожаловаться #13