Is there a list of them with examples accessible to a person without extensive category theory knowledge?
+9
A:
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF) should help as well. The notation will get a bit harry, but reading it a few times you should be able to knock down that list of yours.
Also, take a look at this blog post, the blogger plans on presenting each individually soon, so check back to it regularly --I guess.
nlucaroni
2009-05-28 17:03:27
Thank you, the paramorphism description there helped.
Shooshpanchick
2009-05-29 12:03:28
+8
A:
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.
Martijn
2009-05-28 17:25:30
I've already grasped cata, ana, hylo and meta, that's why I didn't mentioned them in question. :) For the rest wikipedia articles are not very extensive or don't exist.
Shooshpanchick
2009-05-29 12:02:48
+3
A:
Edward Kmett recently posted a Field Guide to recursion schemes, perhaps it helps?
shapr
2009-06-11 15:13:47
Happy to help. Your best bet might be to start from, say, the dynamorphism paper by Vene and Kabanov. Since it motivates at least the use of histo and dyna and from there you can figure out futu.http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336
Edward Kmett
2009-06-12 13:59:18