например dropWhile ты не напишешь с cata

например dropWhile ты не напишешь с cata

Во, теперь понятно

ну и инсерт не сделать через ana

Хм, оригинальной или остаточной?

Хм, оригинальной или остаточной?

ну вообще хвост (да)

catamorphism - общая модель структурной рекурсии anamorphism - общая модель структурной корекурсии paramorphism - общая модель примитивной рекурсии apomorhism - общая модель примитивной корекурсии в para - Tuple в apo - Either что тоже дуализмы

cata :: Functor f => (f b -> b) -> Fix f -> b ana :: Functor f => (a -> f a) -> a -> Fix f para :: Functor f => (f (Fix f, c) -> c) -> Fix f -> c apo :: Functor f => (b -> f (Either (Fix f) b)) -> b -> Fix f в apo Left ведеть себя также как и в https://www.stackage.org/haddock/lts-12.8/extra-1.6.9/Control-Monad-Extra.html#v:loop

кстати как вариант, попробуйте написать через ana toList :: forall a. RoseTree a -> [a] ну перед этим представив RoseTree через Fix

кстати как вариант, попробуйте написать через ana toList :: forall a. RoseTree a -> [a] ну перед этим представив RoseTree через Fix

Через unfoldr то как раз легко

Я писал помню, для разных вариантов обхода

Хотя подожди, зачем тут вообще RoseTree через фикс представлять?

Через unfoldr то как раз легко

Как выглядит твое дерево? Это не пустая структура как и nonemptylist

ana должна билдить структуру, у тебя на выходе список, значит речь идёт об ana для списка, то есть unfoldr

Значит не имеет смысла RoseTree переписывать через Fix, функтор для ana тут ListF, а не RoseTreeF

Как выглядит твое дерево? Это не пустая структура как и nonemptylist

data RoseTree a = RoseTree a [RoseTree a] ну из википедии

ana должна билдить структуру, у тебя на выходе список, значит речь идёт об ana для списка, то есть unfoldr

Ana не развернет непустую структуру в пустую

Ты потеряешь один элемент из дерева

Ладно, я писал не для Tree a, я писал для Forest a

Вспомнил

Что практически одно и то же, но Forest a может быть пустым, да:)

Forest который отсюда http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Tree.html

Ana не развернет непустую структуру в пустую

toList :: Tree a -> [a] toList (Node a ts) = a : unfoldr f ts Вот в таком виде короче можно сделать. Но это не чистая ana, да

кстати как вариант, попробуйте написать через ana toList :: forall a. RoseTree a -> [a] ну перед этим представив RoseTree через Fix

не понял задания, ana для функтора списка?

а то вроде ана, а функтор на вход

а то вроде ана, а функтор на вход

где функтор на вход?

toList :: Fix (RoseTreeF a) -> [a] то есть мы принимаем фикс на вход по заданию, а ана отдает, собственно про это я и спросил, мол мб ты имеешь в виду ану для списка

нет же

свернуть RoseTree в список через анаморфизм

ты не понял вопрос

ana :: Functor f => (a -> f a) -> a -> Fix f

какой F ты хочешь увидеть в решении?

Просто лишняя была добавка "представьте RoseTree через Fix"

да, это запутывает

типа на самом деле реализация RoseTree вообще не важна задача оказывается

Просто лишняя была добавка "представьте RoseTree через Fix"

догадываешься на каком условии мы теряем элемент?

догадываешься на каком условии мы теряем элемент?

ты на вопрос мне ответишь?

ты на вопрос мне ответишь?

как будет выглядеть твоя коалгебра?

не отвечай вопросом на вопрос, я сейчас не решение генерю, а УСЛОВИЕ хочу понять

не отвечай вопросом на вопрос, я сейчас не решение генерю, а УСЛОВИЕ хочу понять

хорошо, сверни древо розовых кустов в список (через анаморфизм сначала попробуй)

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

то есть я так понимаю ты хочешь ListF в качестве функтора для аны, а не ReseTreeF

RoseTree a -> ListF a (RoseTree a)

тогда зачем вообще было нужно уточнение про фикс?

что фикс меняет тут?

для дерева

а того что и RoseTree тоже надо выразить через Fix

а зачем?

костяк решения в ане

в ане RoseTreeF вообще никак не затронется

ок, пусть будет так) но ана не будет работать)

ок, пусть будет так) но ана не будет работать)

Я выше скинул ану для леса вот

хочешь сложнее?) hylo вот тут и RoseTreeF и ListF хочу чтобы генерило дерево и переводило список (вот просто хочется)

хочешь сложнее?) hylo вот тут и RoseTreeF и ListF хочу чтобы генерило дерево и переводило список (вот просто хочется)

В гило же один и тот же функтор

Снова нужно выбрать, TreeF или ListF у нас, но не оба

Нужна функция с констрейнтом (Functor f, Functor g), если хочется сразу два функтора чтоб "работали"

Наверное в recursion-schemes есть что-нибудь такое, но я в этом пакете не шарю

Может быть это, но хз

Если задание - про преобразование RoseTree = Fix RoseTreeF в список, то скорее это сворачивание cats, а не ana. Не?

cata*

это если базовый функтор одинаков, то да, можно все через рефикс делать например list1 -> list2 churchList -> list

ERROR: S client not available

Если задание - про преобразование RoseTree = Fix RoseTreeF в список, то скорее это сворачивание cats, а не ana. Не?

кто сказал про свертку? я написал ясно и понятно, развернуть (анаморфизм)

это если базовый функтор одинаков, то да, можно все через рефикс делать например list1 -> list2 churchList -> list

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

@Masteroid вот тут у них общий базовый функтор https://github.com/xgrommx/purescript-experiments/blob/master/src/Main.purs#L46

https://github.com/xgrommx/purescript-experiments/blob/master/src/Peano3.purs#L10 https://github.com/xgrommx/purescript-experiments/blob/master/src/NaturalC.purs#L32

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

если 2 структуры написаны через один базовый функтор, то всегда можно пейти от одной к другой довольно просто

естественное преобразование for free

кто сказал про свертку? я написал ясно и понятно, развернуть (анаморфизм)

Ты написал не очень "ясно и понятно", раз уже три человека недоумевают:)

хочешь сложнее?) hylo вот тут и RoseTreeF и ListF хочу чтобы генерило дерево и переводило список (вот просто хочется)

Вот это задание я так и не понял

Так, значит розовое дерево не разворачивается с помощью ana в список Fix ListF потому что теряется вершинный элемент.

Ой а я тоже задачку вспомнил, раз пошла такая пьянка

Или наоборот, всё кроме вершинного

Сверните через cata дерево в список: 1) обойдя дерево в глубину (ин-ордер, например) 2) обойдя в ширину (левел-ордер)

Сверните через cata дерево в список: 1) обойдя дерево в глубину (ин-ордер, например) 2) обойдя в ширину (левел-ордер)

это делается через моноидальные алгебры с перестановкой <>

это делается через моноидальные алгебры с перестановкой <>

Только 1)

Сверните через cata дерево в список: 1) обойдя дерево в глубину (ин-ордер, например) 2) обойдя в ширину (левел-ордер)

c левел ордер уже не ката мне кажется

c левел ордер уже не ката мне кажется

Это правда:)

какая-нибудь хисто уже

Катой не получится

а дерево то какое кстати?)

То же самое, Tree a = Node a [Tree a]

Комитет: ну что, вот тут и тут поправить в описании и принимаем! Iavor Diatchki: ну я не знаю, я на необитаемом острове с одним телефоном, смогу ли я поправить что-то на гитхабе? Iavor Diatchki комментирует другой пропозал на гитхабе, все больше ничего не делает.

А что известно про SequentCore? Из него вытащили join points и больше развивать не будут?

ну, в гхц не будут, видимо

А линтипы хотят своё ядро?

И как они будут взаимодействовать с Dependent?

у меня недостаточная компетенция в этом вопросе, но, как я понял, у эйзенберга особых ожиданий каких-то проблем со взаимодействием нет

интересно

неизвестно

насколько я знаю, как-то будут

как же все это угрюмо выглядит https://github.com/Engelberg/instaparse/blob/master/src/instaparse/abnf.cljc