¿Cuáles son Zygo / meta / histo / para / futu / Dyna / lo que sea-morfismos?
-
06-09-2019 - |
Pregunta
¿Hay una lista de ellos con ejemplos accesibles a una persona sin conocimiento extenso teoría de la categoría?
Solución
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.
Otros consejos
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.
Edward Kmett publicado recientemente un Guía de campo de los sistemas de recursividad , tal vez ayuda?
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.
Esto es un comienzo:. Wikipedia "recursividad esquemas de" categoría