回答情况：
提问时间：
问题标签：
我对此很感兴趣，没有在一处找到相应术语的清单：Foldable <-> Catamorphism谁能补充条件清单？
浏览 5修改于2017-07-28得票数 9
回答已采纳
1回答
gives us the initial algebra for the functor f
cata :: Functor f => Algebra f a -> (Fix f -> a) -- catamorphism
浏览 5修改于2017-09-20得票数 15
回答已采纳
任何关注和scala练习的人都会知道这两种类型的签名是等价的： //this is a catamorphism
def fold[B](some :
浏览 1提问于2010-09-01得票数 8
Functor f) => Coalgebra f a -> a -> Fix f这是从cata的“反转箭头”派生出来的ana的定义：
-- Catamorphism
浏览 5修改于2022-08-18得票数 1
回答已采纳
_)res11: Int = 1980
为什么这两个操作使用相同的名称- fold/catamorphism
浏览 0提问于2011-12-17得票数 11
回答已采纳
deriving instance (Show (f (Fix f))) => Show (Fix f)
out (In f) = f
-- Catamorphism
浏览 7提问于2022-11-10得票数 1
回答已采纳
我将我的定点定义如下：out (In f) = f -- Catamorphism
浏览 13修改于2022-09-30得票数 2
回答已采纳
innerCost + 1.0m innerCost + 2.0m
// call the catamorphism
浏览 27修改于2017-03-15得票数 3
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号