问题描述
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?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!