У меня этот язык AST data ExprF r = Const Int | Var String | Lambda String r | EList [r] | Apply r r deriving ( Show, Eq, Ord, Functor, Foldable ) И я хочу преобразовать его в строку...

Я пытаюсь узнать о катаморфизмах, и я прочитал статью в Википедии и первые пару сообщений в серии тем для F # на Блог, посвященный F # . Я понимаю, что это обобщение складок (т. Е. Сопоставление структуры множества значений с одним...

Я пытаюсь осмыслить концепцию анаморфизма. В функциональном программировании анаморфизм - это обобщение концепции разворачивания списков. Формально анаморфизмы - это общие функции, которые могут коркурсивно конструировать результат...

Типичным академическим примером является суммирование списка. Существуют ли реальные примеры использования fold, которые проливают свет на его полезность?

Я «изобрел» рекурсивную схему, являющуюся обобщением катаморфизма. Когда вы сворачиваете структуру данных с катаморфизмом, у вас нет доступа к подтермам, только к подрезультатам сворачивания: {-# LANGUAGE DeriveFunctor #-} import qualified...

Даны два типа данных Color и Plant. data Color = Red | Pink | White | Blue | Purple | Green | Yellow deriving (Show, Eq) data Plant = Leaf | Blossom Color | Stalk Plant Plant deriving (Show, Eq) Теперь я должен реализовать...

Недавно я немного узнал о F-алгебрах: https://www.fpcomplete.com/user/bartosz/understanding-алгебры . Я хотел поднять эту функциональность до более продвинутых типов (индексированных и вышестоящих). Кроме того, я проверил «Предоставление повышения...

Недавно я читал о схемах рекурсии , где катаморфизмы описываются как аналоги обобщенных foldr . Можно ли записать экземпляр Foldable (через foldr или foldMap ) в терминах cata во всех случаях?