¿Cuáles son Zygo / meta / histo / para / futu / Dyna / lo que sea-morfismos?

Question

¿Hay una lista de ellos con ejemplos accesibles a una persona sin conocimiento extenso teoría de la categoría?

Answer 1

programación funcional con plátanos, lentes, sobres y del alambre de púas (PDF) debería ayudar también. La notación será conseguir un poco difícil, pero la lectura de un par de veces que debe ser capaz de derribar a esa lista de los suyos.

Además, echar un vistazo a los esquemas de recurrencia (archivada) entrada de blog , el blogger planes en la presentación de cada uno individualmente pronto, así que vuelve a la misma conjetura regularmente --que.

Answer 2

Comience con el aprendizaje sobre catamorphisms; esos son los más fáciles de entender. Usted ya sabe uno: foldr

A continuación, ir a por anamorphisms (unfoldr) y paramorphisms. Sólo entonces ir a por los otros artículos de la Wikipedia / documentos; para entonces serán más fáciles de entender.

Answer 3

Edward Kmett publicado recientemente un Guía de campo de los sistemas de recursividad , tal vez ayuda?

Answer 4

Salida de diapositivas Tim Williams' en los esquemas de recursividad aquí:

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

Explican todos los * -morphisms con ejemplos motivadores de cada uno.

Answer 5

Esto es un comienzo:. Wikipedia "recursividad esquemas de" categoría