AV
с to обратно уже не вернёшься
Size: a a a
2020 December 16
Y
to keys
В смысле у меня есть список ключей, нужно из них сделать траверсал (?) в одной Map’е. То есть как multi-ix
KV
Можно собрать траверсалы вида
ix n через adjoinKV
Control.Lens.Unsound
AV
блин thyme не работает с 8.10.2, на chronos фиг перейдёшь, править лень
KV
https://stackoverflow.com/questions/59710216/hidden-forall-quantified-types-in-reifiedtraversal
Ух какой хороший вопрос оказался
Ух какой хороший вопрос оказался
KV
В общем лучше написать фор луп с иорефами
JS
>>= отвратителен
use Hasklig, Luke
JS
для того чтобы мету хранила
разве не Fix все для этого используют?
DB
use Hasklig, Luke
Ох, там уже мне не нравится)
DB
Сложная тема, канешно
2020 December 17
JS
как называется раздел математики, изучающий "алгебры" в смысле
(a -> b -> b) -> b -> [a] -> b? (свёрточные алгебры?)R
как называется раздел математики, изучающий "алгебры" в смысле
(a -> b -> b) -> b -> [a] -> b? (свёрточные алгебры?)занудство mode on: тут алгеброй являются только первые два аргумента
R
как называется раздел математики, изучающий "алгебры" в смысле
(a -> b -> b) -> b -> [a] -> b? (свёрточные алгебры?)теория категорий: https://en.wikipedia.org/wiki/F-algebra
MK
Это же не алгебра, а катаморфизм?
JS
теория категорий: https://en.wikipedia.org/wiki/F-algebra
спасибо
JS
Это же не алгебра, а катаморфизм?
ок, мне нужны алгебры
JS
а катаморфизмы там же?