什么是 zygo/meta/histo/para/futu/dyna/whatever-morphisms？答案

【问题标题】：What are zygo/meta/histo/para/futu/dyna/whatever-morphisms?什么是 zygo/meta/histo/para/futu/dyna/whatever-morphisms？
【发布时间】：2010-10-29 15:34:25
【问题描述】：

如果没有广泛的类别理论知识的人可以访问它们的示例，是否有一个列表？

【问题讨论】：

你为什么想了解他们？（如果你对范畴论不感兴趣，我的意思是......）
分类理论每次都让我大吃一惊。
Zygo-Meta-Histo-Para-Expi-Ali-Docious！
2ShreevatsR：只是出于好奇。在一些关于 Haskell 的文章中看到它们。

标签： haskell functional-programming combinators category-theory

【解决方案1】：

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF) 也应该有所帮助。符号会有点毛茸茸，但多读几遍你应该能打掉你的那个列表。

另外，看看递归方案(archived)blog post，博主计划很快单独展示每个，所以请定期查看——我猜。

【讨论】：

谢谢你，那里的变形描述帮助了。
那篇博文的作者在一两天前告诉我，他知道他的博客目前已关闭，但他正在旅行，再过一周将无能为力。
啊，前段时间也下降了一段时间。我实际上（在这一点上）认为他把它离线了。谢谢

【解决方案2】：

Edward Kmett 最近发布了一个Field Guide to recursion schemes，也许有帮助？

【讨论】：

乐于助人。你最好的选择可能是从 Vene 和 Kabanov 的 dynamorphism 论文开始。因为它至少激发了 histo 和 dyna 的使用，从那里你可以找出 futu。 citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336

【解决方案3】：

从学习变质开始；这些是最容易掌握的。你已经知道了一个：foldr！

然后选择变形 (unfoldr) 和变形。然后才去查看其他 Wikipedia 文章/论文；到那时他们会更容易理解。

【讨论】：

我已经掌握了cata、ana、hylo和meta，所以我没有提到它们。 :) 对于其余的维基百科文章不是很广泛或不存在。

【解决方案4】：

在此处查看 Tim Williams 关于递归方案的幻灯片：

http://www.timphilipwilliams.com/slides.html

他们解释了所有的 *-morphisms 以及每个的激励例子。

【讨论】：

【解决方案5】：

这是一个开始：Wikipedia "Recursion schemes" category.

【讨论】：