What are zygo/meta/histo/para/futu/dyna/whatever-m

问题:

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:

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.

回答3:

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

回答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.