catamorphism.
hylo :: Functor f => (f b -> b) -> (a -> f a) -> (a -> b)
hylo phi psi = cata phi . ana psi
откуда тут берётся тип b, Как вообще они композируются если выход ana - f b, а вход cata - f a ?
http://hackage.haskell.org/package/data-fix-0.2.0/docs/Data-Fix.html
*deleted*
Обсуждают сегодня