catamorphism

5зной

1ответ

Я хочу, чтобы иметь возможность использовать cata от recursion-schemes пакет для списков в церковном кодировании. type ListC a = forall b. (a -> b -> b) -> b -> b Для удобства я использовал тип втор

10зной

4ответ

Как предоставить экземпляр Functor для типа данных, созданного для общих схем рекурсии?

У меня есть рекурсивный тип данных, который имеет экземпляр Functor: data Expr1 a = Val1 a | Add1 (Expr1 a) (Expr1 a) deriving (Eq, Show, Functor) Теперь, я заинтересован в изменении

18зной

1ответ

Каков тип катаморфизма (складки) для нерегулярных рекурсивных типов?

Многие катаморфизмы кажутся достаточно простыми, в основном заменяя каждый конструктор данных пользовательской функцией, например. data Bool = False | True foldBool :: r -- False constructor

9зной

1ответ

Что такое анаморфизм, и как выглядит на C#?

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

2зной

1ответ

Haskell cata types

После прочтения (и реализации) части http://blog.sumtypeofway.com/recursion-schemes-part-2/ Мне все еще интересно, как работают функции в функции cata. cata функция определяется следующим образом: mys

9зной

2ответ

Можно ли сравнить два дерева с рекуррентными схемами?

У меня есть этот AST data ExprF r = Const Int | Add r r type Expr = Fix ExprF и я хочу, чтобы сравнить x = Fix $ Add (Fix (Const 1)) (Fix (Const 1)) y = Fix $ Add (Fix (Const 1)) (Fix (Const 2))

11зной

1ответ

Библиотека реализации схемы рекурсии

Я «изобрел» схему рекурсии, которая является обобщением катаморфизма. Когда вы сложите структуру данных с катаморфизмом вы не имеете доступ к подтермам, только промежуточные результатам складывания: {