Quels sont Zygo / meta / histo / para / futu / Dyna / whatever-morphismes?

Question

Y at-il une liste avec des exemples accessibles à une personne sans connaissance approfondie de la théorie des catégories?

Answer 1

Programmation fonctionnelle avec des bananes, lentilles, enveloppes et fil de fer barbelé (PDF) devrait aider. La notation sera un peu poilu obtenir, mais en lisant quelques fois, vous devriez être en mesure de renverser cette liste de la vôtre.

De plus, jetez un oeil sur les régimes de récursion (archivé) billet de blog , le blogueur des plans sur la présentation de chacun individuellement bientôt, vérifier si revenir régulièrement guess -I.

Answer 2

Commencez par l'apprentissage de catamorphisme; ce sont les plus faciles à saisir. Vous connaissez déjà un: foldr

Ensuite, allez pour anamorphisms (unfoldr) et paramorphisms. Seulement ensuite pour les autres articles / articles de Wikipedia; alors ils seront plus faciles à comprendre.

Answer 3

Edward Kmett a récemment publié un Guide de terrain aux régimes récursion , peut-être aide?

Answer 4

Consultez la diapositive de Tim Williams sur les systèmes de récursion ici:

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

Ils expliquent tous les * -morphisms avec des exemples de chaque motivation.

Answer 5

Voici un début. Wikipedia catégorie "régimes Recursion"