问题
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