什么是zygo / meta / histo / para / futu / dyna / whatever-morphisms？ [英] What are zygo/meta/histo/para/futu/dyna/whatever-morphisms?

问题描述

http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf =nofollow noreferrer>带香蕉，镜头，信封和带刺线的功能性编程（PDF）也应该有所帮助。这个符号会变得有点毛茸茸的，但是读几次你应该能够打倒你的名单。

另外，看看递归方案（存档） 博客文章，博客计划尽快单独展示每个人，所以请检查它定期 - 我猜。

Is there a list of them with examples accessible to a person without extensive category theory knowledge?

解决方案

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF) should help as well. The notation will get a bit hairy, but reading it a few times you should be able to knock down that list of yours.

Also, take a look at the recursion schemes (archived) blog post, the blogger plans on presenting each individually soon, so check back to it regularly --I guess.

这篇关于什么是zygo / meta / histo / para / futu / dyna / whatever-morphisms？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！