В схемах рекурсии, как я могу построить что-то с определением типа, например (Recursive t,...

Рассмотрим этот код: import Data.Maybe (fromMaybe) data MyStructure = Foo Int | Bar String...

У меня есть функция подъема с переменным углом, которая допускает плоские монадические цепи без...

Я пытался перевести эту рекурсивную реализацию на Haskell футуморфизма, специализированного на List...

Я изучаю схемы рекурсии, и для меня оказалось очень полезным реализовать их в соответствии с типом...

Существует ли название для схемы рекурсии, которая похожа на катаморфизм, но которая позволяет...

Идентификатор свёртки равен foldr (:) [] В более общем случае, со сгибами вы можете либо разрушить...

В настоящее время я изучаю складки в смысле структурной рекурсии / катаморфизма. Я реализовал силу...

Я хочу сгенерировать лексикографический ряд чисел так, чтобы для каждого числа сумма цифр была...

Я работаю над инструментом анализа / преобразования языка, который позволяет распространять...

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

Мне сказали, что следующие функции эквивалентны по силе hylo :: Functor f => (f b -> b) ->...

Например, у меня есть AST вроде: sealed trait FilterF[A] final case class NotF[A](filter: A)...

Используя гистоморфизм (histo) из рекурсивных схем Я могу получить список, содержащий только...

Я пытаюсь создать Cofree структуру по анаморфизму, согласно этой записи . Но компилятор жалуется на...

Следуя терминологии из этой превосходной серии , давайте представим такое выражение, как (1 + x^2 -...