Functional-Mix 2020
Yo, mi, me, conmigo
¿De qué vamos hablar?
¿De qué vamos hablar?
Programación funcional
- Currificación
- Funciones puras
- Reduce
- Functores
¿Cómo lo vamos a enfocar?
Tipos de datos algebraicos
En teoría de categorías, una categoría (ADTs) es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.
Tipos de datos algebraicos
En teoría de categorías, una categoría (ADTs) es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.
Tipos de datos algebraicos
