haskell - ¿Qué son los morfismos zygo/meta/histo/para/futu/dyna/whatever?

functional-programming combinators

Question

¿Existe una lista de ellos con ejemplos accesibles para una persona sin un amplio conocimiento de la teoría de categorías?

Answer 1

Aquí hay un comienzo: la categoría de Wikipedia "Esquemas de recursión".

Answer 2

Echa un vistazo a la diapositiva de Tim Williams sobre los esquemas de recursión aquí:

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

Explican todos los morfismos * con ejemplos motivadores de cada uno.

Answer 3

Edward Kmett publicó recientemente una guía de campo para los esquemas de recursión , ¿quizás ayude?

Answer 4

La programación funcional con bananas, lentes, sobres y alambre de púas (PDF) también debería ayudar. La notación se pondrá un poco peluda, pero al leerla varias veces, deberías poder derribar esa lista tuya.

Además, eche un vistazo a los esquemas de recursión (archived) publicación del blog , el blogger planea presentar cada uno pronto, así que consulte regularmente: supongo.

Answer 5

Comience con aprender sobre catamorfismos; Esos son los más fáciles de entender. Ya sabes uno: foldr !

Entonces ve por los unfoldr ( unfoldr ) y los paramorfismos. Solo entonces ve por los otros artículos / artículos de Wikipedia; para entonces serán más fáciles de entender.