Manejar efectos secundarios en programación funcional con Efectos Algebraicos

Transcript

1. #QuitoLambda QuitoLambda @quitolambda
2. ¡Presenta tus ideas en Quito Lambda! info@stackbuilders.com
3. Efectos Algebraicos
4. Efectos Algebraicos
5. Efectos Secundarios (Side Effects) • • • •  • •
6. Efectos Secundarios
7. Programación Funcional al rescate ✅ ❌ ❌ ❌ ✅
8. Funciones Puras • •
9. Funciones Puras • • • • • https://medium.com/@whamsicore/simple-explanation-of-pure-functions-c2787ad3c422
10. Cómo manejamos efectos secundarios en PF?
11. Mónadas “Una mónada es un monoide en la categoría de los endofunctores” Entonces ¿cuál es el problema?
12. Mónadas
13. Mónada Maybe - Bind
14. Mónada Maybe
15. Mónada IO
16. Cual es el problemas con las mónadas? • • ❖ ❖ https://blog.tmorris.net/posts/monads-do-not-compose/
17. Efectos Algebraicos • ◦ ◦ • ◦ ◦ ◦ ◦
18. Continuaciones
19. Continuaciones
20. Not production ready
21. Koka Language 効果 • •
23. Koka Effects
24. Repositorio de Koka https://github.com/koka-lang/koka
25. Efectos Algebraicos en el mundo real! https://b-studios.de/scala-effekt/
27. • https://hackage.haskell.org/package/extensible-effects • https://hackage.haskell.org/package/fused-effects • https://github.com/ocaml-multicore/ocaml-multicore • https://github.com/yallop/effects-bibliography
28. • https://dev.to/yelouafi/algebraic-effects-in-javascript-part-1---continuati ons-and-control-transfer-3g88 • https://github.com/yelouafi/algebraic-effects.js
29. • https://overreacted.io/algebraic-effects-for-the-rest-of-us
31. • • Tener en cuenta
32. Conclusiones
33. Preguntas?
34. Presenta tus ideas community@stackbuilders.com Trabaja con nosotros stackbuilders.com/join Stack Builders Ecuador @stackbuilders stackbuilders