haskell – 什么是zygo/meta/histo/para/futu/dyna/whatever-morphisms？

有没有一个列表，他们有一个没有广泛的类别理论知识的人可访问的例子？

解决方法

Functional Programming with Bananas,Lenses,Envelopes and Barbed Wire(PDF)也应该有帮助。符号会有点毛，但阅读几次，你应该能够打倒你的列表。

另外，看看递归计划(archived) blog post，博客计划在每个单独提出，所以请定期检查 – 我猜。