A
у Кметта куча устаревших зависимостей
пуллреквестировать нужно, наверное
Size: a a a
2021 April 01
JS
пуллреквестировать нужно, наверное
да, когда-нибудь, а пока проще выбрать пакет поменьше
AA
у Кметта куча устаревших зависимостей
на той версии гхц где это не соберется все равно ниче кроме факториала не написать
JS
поиграем в гольф? запишите покороче
\case Nothing -> Seq.empty; Just x -> Seq.singleton xMK
maybe singleton empty жеJS
ну, это понятно
JS
о, у меня получилось
foldMap pure, кто побьёт?JS
может, есть что-то готовое?
[
Щас кто-то должен достать из широких штанин функцию, которая делает это в один ход?
[
поиграем в гольф? запишите покороче
\case Nothing -> Seq.empty; Just x -> Seq.singleton xАга, а внутри такой функции будет вот это
JS
мне кажется, это похоже на какой-то fold для Alternative
MP
а чо для Set
pure = Seq.singleton?KV
а чо для Set
pure = Seq.singleton?Есть другие варианты?
MP
нет, просто как-то забыл что у него есть Applicative
MP
а у меня прорва древнего кода типа
(m <> Map.singleton k (Set.singleton v))[
Насколько я знаю, для контейнеров аппликатив легко доказывается
KV
а у меня прорва древнего кода типа
(m <> Map.singleton k (Set.singleton v))Почему Set-то, там Seq
MP
Почему Set-то, там Seq
а
я чото туплю, да
я чото туплю, да
JS
а чо для Set
pure = Seq.singleton?для Seq
AA
поиграем в гольф? запишите покороче
\case Nothing -> Seq.empty; Just x -> Seq.singleton xunsafeCoerce