Haskell 什么是zygo/meta/histo/para/futu/dyna/任何态射？

有没有一个清单，上面有没有一些例子，对于一个没有广泛范畴理论知识的人来说是可以找到的？

这里是一个开始：

也应该有帮助。符号会变得有点毛茸茸的，但是读几遍你应该能够把你的列表删掉

---

另外，看看递归方案，博主计划很快单独介绍每种方案，所以我想应该定期查看；这些是最容易掌握的。你已经知道一个：

foldr

---

然后去寻找变形（

unfover

）和准变形。然后再看其他维基百科文章/论文；到那时，它们将更容易理解。

Edward Kmett最近发布了一篇文章，也许会有所帮助？

请查看Tim Williams关于递归方案的幻灯片：

---

他们解释了所有的*态射，并给出了每个态射的激励性例子。

你为什么想知道它们？（如果你对范畴理论不感兴趣，我的意思是…）范畴理论每次都会让我大吃一惊！只是出于好奇。在Haskell的一些文章中提到了它们。我已经掌握了cata、ana、hylo和meta，这就是为什么我没有提到它们的原因。：）剩下的维基百科文章不是很广泛，或者根本不存在。谢谢你，那里的准形态描述帮助了我。那篇博文的作者一两天前告诉我，他知道他的博客现在已经关闭了，但他正在旅行，在接下来的一周内将无法做任何事情。啊，这是一段时间前下降了。事实上（在这一点上）我认为他把它离线了。谢谢你的帮助。你最好的选择可能是从Vene和Kabanov的《动力形态》论文开始。因为它至少激发了histo和dyna的使用，从那里你可以了解futu。