R
глянь вот этот туториал: https://www.schoolofhaskell.com/user/edwardk/recursion-schemes/catamorphisms
-optP--cpp может кто в курсе как надо в этом случае поменять?Size: a a a
2020 December 17
AV
8.10.2 говорит unknown option -cpp, из-за
R
глянь вот этот туториал: https://www.schoolofhaskell.com/user/edwardk/recursion-schemes/catamorphisms
там сразу становится понятно как связаны ф-алгебры и катаморфизмы
ЮБ
там сразу становится понятно как связаны ф-алгебры и катаморфизмы
Может, лучше сразу пейпер про бананы почитать? Он простой же, и теорката там не так много. Зато связь ката/ана/хило/пара становится более понятной.
R
Может, лучше сразу пейпер про бананы почитать? Он простой же, и теорката там не так много. Зато связь ката/ана/хило/пара становится более понятной.
да можно, я просто сам не читал, не люблю это все
ЮБ
@cblp_su на всякий пожарный: http://maartenfokkinga.github.io/utwente/mmf91m.pdf — откуда вся эта ката-васия пошла.
DB
@cblp_su на всякий пожарный: http://maartenfokkinga.github.io/utwente/mmf91m.pdf — откуда вся эта ката-васия пошла.
класека же. только после 5й страницы начинается рокетсайнс
JS
там сразу становится понятно как связаны ф-алгебры и катаморфизмы
ок, понятно, спасибо
ЗП
у нас аст комонадная
Cofree + cata?)
K
Cofree + cata?)
Не, там просто
Cofree (Sum Structure) (Product Info). Из минусов - дерево совершенно untyped, любые узлы могут являться потомками любых узлов. Из преимуществ - можно делать апдейты любых наборов подструктур. Юниплейт только (a -> a) -> (a -> a) может, насколько я помню.K
https://hackage.haskell.org/package/uniplate-1.6.13/docs/Data-Generics-Biplate.html - так, а biplate это же апдейт подобъектов
to внутри from?K
@systemspace всё херня, переделываем на биплейт
a
@systemspace всё херня, переделываем на биплейт
кек, да
к
https://hackage.haskell.org/package/uniplate-1.6.13/docs/Data-Generics-Biplate.html - так, а biplate это же апдейт подобъектов
to внутри from?даже не просто апдейт, а траверс
ЗП
Не, там просто
Cofree (Sum Structure) (Product Info). Из минусов - дерево совершенно untyped, любые узлы могут являться потомками любых узлов. Из преимуществ - можно делать апдейты любых наборов подструктур. Юниплейт только (a -> a) -> (a -> a) может, насколько я помню.но я же говорил, что атрибутивная алгебра + ката = аннотированное дерево фор фри
ЗП
https://hackage.haskell.org/package/uniplate-1.6.13/docs/Data-Generics-Biplate.html - так, а biplate это же апдейт подобъектов
to внутри from?есть и в линзах