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

Я пытался перевести эту рекурсивную реализацию Haskell футуморфизма, специализированного на List s futuL :: (a -> Maybe (b, ([b], Maybe a))) -> a -> [b] futuL f x = case f x of Nothing -> [] Just (y, (ys, mz)) -> y : (ys ++...

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

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

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

В пакете recursion-scheme Эда Кметта есть три объявления: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) data Nu f where Nu :: (a -> f a) -> a -> Nu f В чем разница между этими тремя типами...

Я хотел иметь возможность сформулировать алгоритм вывода типа Хиндли-Милнера, используя типы данных с фиксированной точкой и схемы рекурсии. Игнорируя все детали, кроме фактических частей рекурсии: w env term = case term of Lam n e -> lam...

Я не понимаю, как я могу создать пример с хрономорфизмом. Я знаю о гиломорфизме ( cata , ana ), также я знаю о histo и futu . Но я не понимаю какого-то примера хрономорфизма (может быть, какое-то поведение, как в монаде Тардис). Также...

Прямо сейчас у меня есть AST для выражения, которое полиморфно по типу рекурсии: data Expr a = Const Int | Add a a Это было невероятно полезно, поскольку позволило мне использовать тип для простой рекурсии ( Fix Expr ) и еще один,...

Мне сказали, что следующие функции эквивалентны по мощности hylo :: Functor f => (f b -> b) -> (a -> f a) -> a -> b hylo f g = h where h = f . fmap h . g hyloM :: (Traversable g, Monad m) => (g b -> m b) -> (a -> m...

Рассмотрим этот код: import Data.Maybe (fromMaybe) data MyStructure = Foo Int | Bar String MyStructure | Baz MyStructure MyStructure | Qux Bool Bool MyStructure MyStructure deriving(Eq,Show) makeReplacements :: [(MyStructure, MyStructure)] ->...

#include <iostream> #include <stdio.h> using namespace std; void funB(int n){ if (n>1){ cout<<n<<" "; funA(n/2); } } void funA(int m) { if (m>0){ cout<<m<<" ";...

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

Следуя терминологии из этой замечательной серии , давайте представим такое выражение, как (1 + x^2 - 3x)^3 на Term Expr , где типы данных следующие: data Expr a = Var | Const Int | Plus a a | Mul a a | Pow a Int deriving...