Te lo explico así nomás: Comónadas

La Programación Funcional ha ganado tracción en los últimos años. Muchos programadores se han familiarizado con funciones de orden superior como `map`, `reduce` y `filter` en el lenguaje de su preferencia. Sin embargo, en esta presentación veremos conceptos más complejos y patrones que los usan siendo aplicados a herramientas populares como React y Redux.

Presentador: Juan Carlos Paucar.

Transcript

1. Te lo explico así nomás: Comónadas Programación funcional práctica
2. Hace bocha de muchos años - Finales de los 50s (John McCarthy, LISP) - 1977 (John Backus, FP)
3. Programación Funcional
5. Programación Funcional Conceptos Fundamentales - Funciones de orden superior - Funciones Puras - Recursión - Evaluación estricta - Sistemas de Tipos - Transparencia Referencial - Estructuras de datos puramente funcionales
7. Sistemas de Tipos
9. Beginner - Competent - Datos inmutables - Funciones de Orden Superior - Destructuring - Composición de funciones - Funciones como ciudadanos de primera clase / Lambdas - Tipos algebraicos - Pattern Matching - Polimorfismo paramétrico - Recursión general - Typeclassses, Instancias y Leyes - Abstracciones de Bajo nivel (Equal, Semigroup, Monoid) - Transparencia Referencias - Totalidad - Aplicación parcial de funciones, Currying, point-free
10. Avanzado - Experto - GADTs - Higher-Kinded Types - Rank-N Types - Folds & Unfolds - Higher-Order Abstractions (Category, Functor, Monad) - Basic Optics - Efficient Persistent Data Structure - Existential Types - Embedded DSL using combinators - Codata - (Co) Recursion Schemes - Advanced Optics - Dual Abstractions (Comonad) - Monad Transformers - Free Monads & Extensible Effects - Functional Architecture - Advanced Functors - Embedded DSLs using GADTs - Final Tagless - Type families, Functional dependencies
11. Y todavia mas
12. Sí, todavía más - High Performance - Kind Polymorphism - Generic Programming - Type-Level pRogramming - Dependent-Types, Singleton Types - Category Theory - Graph Reduction - Higher-Order Abstract Syntax - Compiler Design For Functional Languages - Profunctor optics
13. “Programación Funcional trata una computación como una evaluación de funciones matemáticas y evita cambiar el estado o mutar datos”
16. Declarative UIs are the Future, and the Future is Comonadic! - Phil Freeman
19. Comonadas Una Comonada representa un desdoblamiento (lazy) de todos los futuros estados posibles de una interfaz, así como las transiciones permitidas entre esos estados.
22. extend & duplicate La función “extract” retorna un valor para el estado actual. La función “duplicate” reemplaza cada futuro estado con su propia estructura de estados futuros.
24. Las Mónadas son como Burritos
26. Las Comónadas son el dual de la Mónada
28. Store
30. Moore Machines - Máquinas de estado finito - Las transiciones están restringidas. Para cambiar entre un estado u otro, el usuario debe proveer una entrada de tipo `i`
34. Combinando comónadas
37. Cofree Comonads
38. Abstracciones útiles o indirección?
39. Design patterns are bug reports against your programming language. - Peter Norvig
40. Equivalentes • Strategy → Functor • Singleton → Applicative • Pipeline → Monad • NullObject → Maybe Monad • Interpreter → Reader Monad • Aspect Weaving → Monad Transformers • Composite → SemiGroup → Monoid • Visitor → Foldable • Iterator → Traversable • The Pattern behind the Patterns → Category • Fluent Api → Comonad
41. De vuelta a las Comónadas ...construyendo sobre intuición
42. MONADA: return Fuente: https://www.youtube.com/watch?v=6eiS2QTQKPE
43. COMONADA: extract Fuente: https://www.youtube.com/watch?v=6eiS2QTQKPE
44. MONADA: join Fuente: https://www.youtube.com/watch?v=6eiS2QTQKPE
45. COMONADA: duplicate Fuente: https://www.youtube.com/watch?v=6eiS2QTQKPE
46. Hay aplicaciones prácticas?
48. Juego de la vida de Conway
49. Procesamiento gráfico
50. Preguntas?
51. Gracias
52. Presenta tus ideas info@stackbuilders.com Trabaja con nosotros stackbuilders.com/join stackbuilders Stack Builders Ecuador @stackbuilders