¿Hay una lista de ellos con ejemplos accesibles para una persona sin un amplio conocimiento de la teoría de categorías?¿Qué son zygo/meta/histo/para/futu/dyna/whatever-morphisms?
Respuesta
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF) debería ayudar también. La notación se pondrá un poco peluda, pero leyéndola algunas veces deberías poder derribar esa lista tuya.
Además, eche un vistazo a los esquemas de recursión (archived)blog post, el blogger planea presentar cada uno individualmente pronto, así que vuelva a consultarlo regularmente - Supongo.
Gracias, la descripción del paramorfismo allí ayudó. – Fixpoint
El autor de esa publicación de blog me dijo hace uno o dos días que sabía que su blog actualmente no funciona, pero que está de viaje y no podrá hacer nada al respecto durante una semana más. – dfeuer
ahh, hace un tiempo que fue hace un tiempo. De hecho (en este punto) pensé que lo tomó fuera de línea. gracias – nlucaroni
Aquí es un comienzo: Wikipedia "Recursion schemes" category.
Comience aprendiendo sobre catamorfismos; esos son los más fáciles de entender. Ya sabes uno: foldr
!
Luego vaya para anamorphisms (unfoldr
) y paramorphisms. Solo entonces ve por los otros artículos/artículos de Wikipedia; para entonces serán más fáciles de entender.
Ya he comprendido cata, ana, hylo y meta, es por eso que no los mencioné en cuestión. :) Para el resto, los artículos de wikipedia no son muy extensos o no existen. – Fixpoint
Edward Kmett recientemente publicó Field Guide to recursion schemes, ¿quizás esto ayude?
Sí, ya lo leí. Un resumen muy útil. – Fixpoint
Feliz de ayudar. Su mejor opción podría ser comenzar con, digamos, el documento de dinamistorfismo de Vene y Kabanov. Ya que motiva al menos el uso de histo y dyna y de ahí puedes imaginar el futu. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336 –
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.
- 1. ¿Qué son las cookies firmadas y por qué son útiles?
- 2. ¿Qué son los RFC?
- 3. ¿Qué son los conceptos?
- 4. ¿Qué son los futuros?
- 5. ¿Qué son iteradores, C++?
- 6. ¿Qué son skolems?
- 7. ¿Qué son intrínsecos?
- 8. ¿Qué son ICS_R1 ICS_R2?
- 9. ¿Qué son [] en C#?
- 10. ¿Qué son modificaciones apilables?
- 11. ¿Qué son jQuery valHooks?
- 12. ¿Qué son uri, contentValues
- 13. ¿Qué son las fortunas?
- 14. ¿Qué PEP son lecturas obligadas?
- 15. NSComparisonResult y NSComparator: ¿qué son?
- 16. ¿Qué son las API privadas
- 17. ¿Qué son los objetos anclados?
- 18. ¿Qué son prototipos en JavaScript?
- 19. ¿Qué son paddingStart y paddingEnd?
- 20. ¿Qué son _Unwind_SjLj_Unregister y _Unwind_SjLj_Register?
- 21. ¿Qué operaciones son operaciones atómicas
- 22. ¿Qué son los objetos diferidos?
- 23. ¿Qué son: + y &: + en Ruby?
- 24. iPhone - ¿Qué son reuseIdentifiers (UITableViewCell)?
- 25. ¿Qué manipuladores iomanip son 'pegajosos'?
- 26. ¿Qué CSS hacks son estos?
- 27. ¿Qué son los archivos NDF?
- 28. ¿Qué son las variables puras?
- 29. ¿Qué son las variables estáticas?
- 30. ¿Qué son los métodos virtuales?
¿Por qué quieres saberlos? (Si no estás interesado en la teoría de categorías, quiero decir ...) – ShreevatsaR
La teoría de la categoría me golpea en el culo todo el tiempo. –
Zygo-Meta-Histo-Para-Expi-Ali-Docious! – Apocalisp