Ответ на этот вопрос предполагает, что метод сворачивания в Option в Scala это катамопризм. Из википедии катамофизм - это «уникальный гомоморфизм исходной алгебры в некоторую другую алгебру. концепция была применена к функциональному...

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

Во-первых, это основано на https://www.schoolofhaskell.com/user/bartosz/understanding-алгебрах , поэтому, если вы не знакомы с алгебрами и схемами рекурсии, прочитайте контекст. Скажем, у меня есть простой анализатор выражений: data Expr a =...

Базовая библиотека Haskell содержит несколько функций, которые являются строчными версиями соответствующих типов данных, таких как bool , maybe и either . В исходном коде Data.Bool.Extra функция bool четко выражена как катаморфизм типа данных:...