Я нетерпелив, с нетерпением жду понимания катаморфизма связанных с этим вопросом SO :) Я практиковался только в начале учебника Real World Haskell. Так что, может быть, я собираюсь попросить слишком многого прямо сейчас, если бы это было так,...

Излишне говорить, что стандартная конструкция в Haskell newtype Fix f = Fix { getFix :: f (Fix f) } cata :: (Functor f) => (f a -> a) -> Fix f -> a cata f = f . fmap (cata f) . getFix это здорово и очень полезно. Пытаюсь...

Я хотел бы сделать свертку над n-арными структурами данных Tree. (fold - это также Aggregate в Linq). Мне удалось найти рабочее решение: public static R Aggregate<T, R>(T node, Func<T, IEnumerable<T>> getChildren,...

Предположим следующую взаимно рекурсивную структуру: type Tree<'a> = | Empty | Node of 'a * 'a Forest and Forest<'a> = | Nil | Cons of 'a Tree * 'a Forest Цель: создать общие катаморфизмы для этой структуры:...

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

Идентификация папки foldr (:) [] В более общем смысле, с помощью свертки вы можете либо разрушить структуру и получить итоговое значение, либо внедрить структуру таким образом, чтобы получить ту же структуру вывода. [Int] -> [Int] or...

Какой из них является подходящим морфизмом (схемой рекурсии) для использования, когда в функции преобразования требуется позиция данного элемента (индекс или путь)? Простым примером может быть преобразование списка ["foo",...