What are zygo/meta/histo/para/futu/dyna/whatever-morphisms?

别等时光非礼了梦想. 提交于 2019-12-03 03:09:59

问题


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


回答1:


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.




回答2:


Edward Kmett recently posted a Field Guide to recursion schemes, perhaps it helps?




回答3:


Start with learning about catamorphisms; those are the easiest to grasp. You already know one: foldr!

Then go for anamorphisms (unfoldr) and paramorphisms. Only then go for the other Wikipedia articles/papers; by then they will be easier to understand.




回答4:


Check out Tim Williams' slide on recursion schemes here:

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

They explain all of the *-morphisms with motivating examples of each.




回答5:


Here's a start: Wikipedia "Recursion schemes" category.



来源:https://stackoverflow.com/questions/921972/what-are-zygo-meta-histo-para-futu-dyna-whatever-morphisms

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!