YP
Size: a a a
2020 June 30
AP
src-exts == сразу в топку
AV
@A64m_qb0 у меня есть` [(a, b->Bool)]` и
[b] могу ли я как-то эффективно (с foldl) превратить это в [(a,Int)] где для каждого a посчитано сколько b удовлетворяют предикату?YP
наследие hindent?
то-то он поломаный.
то-то он поломаный.
AV
Ну кроме как пробежаться всеми подряд
AP
Форматтер должен переваривать частично написанный код. А src-exts даже то, что компилятор переваривает, не может съесть порой
AV
(но список
b будет в итоге материализован, так что может пробежаться всеми логично)MK
Форматтер должен переваривать частично написанный код. А src-exts даже то, что компилятор переваривает, не может съесть порой
Да
YP
Форматтер должен переваривать частично написанный код. А src-exts даже то, что компилятор переваривает, не может съесть порой
тут особо и выбирать не из чего)
AP
Ну свежие хотя бы парсер от ghc используют, поэтому хотя бы любой дописанный код могут прочитать
MK
Ну свежие хотя бы парсер от ghc используют, поэтому хотя бы любой дописанный код могут прочитать
Кстати, к слову, стайлиш научился читать экстеншены из кабал файла
AP
О! Надо же
MK
У меня была мысль пересадить его на гхц парсер, но показалось что с наскока это сложно
A
У меня была мысль пересадить его на гхц парсер, но показалось что с наскока это сложно
+
YP
Ну свежие хотя бы парсер от ghc используют, поэтому хотя бы любой дописанный код могут прочитать
ой ли, см. выше, британи на комментах и переносах строк в тайп операторах только так капризничает.
AA
@A64m_qb0 у меня есть` [(a, b->Bool)]` и
[b] могу ли я как-то эффективно (с foldl) превратить это в [(a,Int)] где для каждого a посчитано сколько b удовлетворяют предикату?а зачем тут фолдл? тут же просто map который length . filter p $ bs делает нормально должен работать
AV
ну
map (fmap (\p -> length . filter p $ bs))AV
но мало ли можно лучше
AA
а, понял, надо по bs пройтись одновременно
AV