Haskell一次折叠一层结构
示例
变形（或折叠）为原始递归建模。cata使用代数函数（或折叠函数）逐层分解固定点，以处理每一层。cata需要Functor模板类型的实例f。
cata :: Functor f => (f a -> a) -> Fix f -> a
cata f = f . fmap (cata f) . unFix
-- list example
foldr :: (a -> b -> b) -> b -> List a -> b
foldr f z = cata alg
where alg Nil_ = z
alg (Cons_ x acc) = f x acc
热门推荐
4 足球队祝福语简短
10 国庆中秋祝福语简短搞笑
11 女朋友祝福语简短新年
12 年前幸福祝福语大全简短
13 儿女的生日祝福语简短
14 生日宝宝祝福语简短独特
15 孩子16岁祝福语简短
16 三十三句祝福语简短
17 祝福语诗意文案简短
18 聚餐会祝福语简短