什么是 zygo/meta/histo/para/futu/dyna/whatever 态射?
-
06-09-2019 - |
题
是否有一个包含示例的列表,可供没有广泛范畴论知识的人使用?
解决方案
使用香蕉、透镜、信封和铁丝网进行函数式编程 (PDF) 也应该有帮助。符号可能会有点麻烦,但是读几次你应该能够删除你的列表。
其他提示
开始与学习catamorphisms;这些是最容易掌握的。你已经知道一个:foldr
然后去anamorphisms(unfoldr
)和paramorphisms。只有这样,去为其他的维基百科文章/文件;通过那么他们会更容易理解。
爱德华Kmett最近发表了一篇鱼得水递归方案的,也许它可以帮助?
查看Tim Williams的幻灯片上递归方案这里:
http://www.timphilipwilliams.com/slides.html
他们解释所有* -morphisms的与每个激励的例子。
下面是一个开始:维基百科 “递归方案” 类别
不隶属于 StackOverflow