ADTs:

Viaje al centro de la programación funcional

Yo, me, myself, no ego at all

Background:
- Licenciada el ciencias químicas
- Doctora en física de sistemas complejos

Actualmente:
- Desarrolladora front Openbank

@HenarMendiola

Outline

@HenarMendiola

Programación Funcional: fundamentos

@HenarMendiola

Programación Funcional: fundamentos
Teoría de categorías y ADTs

Outline

@HenarMendiola

Outline

@HenarMendiola

Programación Funcional: fundamentos
Teoría de categorías y ADTs
Funtores:

Outline

@HenarMendiola

Programación Funcional: fundamentos
Teoría de categorías y ADTs
Funtores:
1. Qué es un funtor

Outline

@HenarMendiola

Programación Funcional: fundamentos
Teoría de categorías y ADTs
Funtores:
1. Qué es un funtor
2. Ejemplo práctico

Outline

@HenarMendiola

Programación Funcional: fundamentos
Teoría de categorías y ADTs
Funtores:
1. Qué es un funtor
2. Ejemplo práctico
Resumen y conclusiones

Outline

Programación funcional

@HenarMendiola

Programación funcional

Características

Declarativa
Funciones puras
Funciones de alto orden
Determinismo
Inmutabilidad

@HenarMendiola

Imperativa

¿Cómo?

Declarativa

¿Qué?

@HenarMendiola

Imperativa

¿Cómo?

@HenarMendiola

Declarativa

¿Qué?

@HenarMendiola

Funciones puras

Sin efectos secundarios.

Solo depende de sus argumentos

@HenarMendiola

Funciones puras

let pi=3,1416

let getLength=radius=>{
    return 2*pi*radius;
}

let newPi=()=>{
    pi=acos(-1,0);
}

let getLength=radius=>{
    return 2*acos(-1,0)*radius;
}

@HenarMendiola

Pura

Impura

Funciones puras

let pi=3,1416

let getLength=radius=>{
    return 2*pi*radius;
}

let newPi=()=>{
    pi=acos(-1,0);
}

let getLength=radius=>{
    return 2*acos(-1,0)*radius;
}

@HenarMendiola

Pura

Impura

Funciones puras

let pi=3,1416

let getLength=radius=>{
    return 2*pi*radius;
}

let newPi=()=>{
    pi=acos(-1,0);
}

let getLength=radius=>{
    return 2*acos(-1,0)*radius;
}

@HenarMendiola

Pura

Impura

Funciones de alto orden

@HenarMendiola

Determinismo

@HenarMendiola

Inmutabilidad

@HenarMendiola

const array = [3, 6, 4, 5, 8]

array.push(9)

console.log(array) //[3, 6, 4, 5, 8, 9]

Inmutabilidad

@HenarMendiola

const array = [3, 6, 4, 5, 8];

const newArray = array.concat(9);

console.log(array); //[3, 6, 4, 5, 8]

console.log(newArray); //[3, 6, 4, 5, 8, 9]

¿Porqué programar de manera funcional?

Descomposición de tareas complejas

Legibilidad

Código más fácilmente reusable

Testeabilidad

@HenarMendiola

Teoría de categorías

@HenarMendiola

Teoría de categorías

Wikipedia:

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos. Al mismo tiempo trata de mostrar una nueva forma de ver las matemáticas sin incluir las nociones de elementos, pertenencia, entre otras.

@HenarMendiola

Teoría de categorías

Wikipedia:

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.

@HenarMendiola

Teoría de categorías

Wikipedia:

En teoría de categorías, un tipo de dato algebraico (ADT) 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.

@HenarMendiola

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

const blackSquare = GeometricObject('square', 'black')

const redSquare = GeometricObject('square', 'red')

Teoría de categorías

1. Colección de objetos:

@HenarMendiola

const blackSquare = new GeometricObject('circle', 'black')

const blackSquare = new GeometricObject('circle', 'red')

Teoría de categorías

2. Conectados mediante flechas:

@HenarMendiola

Teoría de categorías

2. Conectados mediante flechas:

@HenarMendiola

Teoría de categorías

2. Conectados mediante flechas:

@HenarMendiola

const blackSquare = changeShape(blackCircle, 'square');

const redSquare = changeColor(blackSquare, 'red');

const blackCircle= changeColor(redCircle, 'black');

const redCircle = changeShape(redSquare, 'circle');

Teoría de categorías

2. Conectados mediante flechas:

@HenarMendiola

const blackSquare = changeColor(redSquare, 'black');

const redSquare = changeShape(redCircle, 'square');

const blackCircle= changeShape(blackSquare, 'square');

const redCircle = changeColor(blackCircle, 'red');

Teoría de categorías

3. Las flechas se pueden componer:

@HenarMendiola

const changeColor = (color) => obj => changeColor(obj, color);

const changeShape = (shape) => obj => changeShape(obj, shape);

Teoría de categorías

3. Las flechas se pueden componer:

@HenarMendiola

const changeColorAndShape = (shape, color) => R.compose(changeShape(shape), changeColor(color));

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeColor(blackSquare, 'red')

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeColor(blackSquare, 'red')

changeShape(redSquare, 'circle')

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeColor(blackSquare, 'red')

changeShape(redSquare, 'circle')

changeColor(redCircle, 'black')

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeColor(redCircle, 'black')

changeColorAndShape(blackSquare, 'circle', 'red')

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeColorAndShape(redSquare, 'circle', 'black')

changeColor(blackSquare, 'red')

Teoría de categorías

4. La composición es asociativa:

@HenarMendiola

changeShape(blackSquare, 'circle')

Teoría de categorías

5. Por cada objeto existe una flecha identidad:

@HenarMendiola

const blackSquareTwo = id(blackSquare)

const redSquareTwo = id(redSquare)

Teoría de categorías

5. Por cada objeto existe una flecha identidad:

@HenarMendiola

Teoría de categorías

Wikipedia:

@HenarMendiola

Y a mí ¿qué me importa?

@HenarMendiola

Y a mí ¿qué me importa?

Composición

@HenarMendiola

Y a mí ¿qué me importa?

Reutilización

@HenarMendiola

Y a mí ¿qué me importa?

Entornos Seguros de trabajo

@HenarMendiola

Tipos de ADTs

@HenarMendiola

Fantasy-land spec

Un ejemplo: Funtores

@HenarMendiola

Funtores según teoría de categorías

@HenarMendiola

Funtores según teoría de categorías

@HenarMendiola

Funtores según Fantasy-Land

@HenarMendiola

Un ejemplo: Funtores

Identidad

Composición

Map

@HenarMendiola

Code expamples

@HenarMendiola

Un ejemplo: Funtores

@HenarMendiola

Funtor básico

Implementación
Testeo propiedades

Funtor Maybe

Implementación
Lógica interna y entornos seguros
Testeo propiedades

Trabajo con funtores

App basada en functores maybe

Conclusiones

Toda ADT presenta:
- transformación identidad
- composición de transformaciones
- composición asociativa

@HenarMendiola

La teoría de categorías nos facilita la vida:

entornos seguros
reutilización
testeabilidad
composición

Conclusiones

@HenarMendiola

Preguntas

@HenarMendiola

nuevas dimensiones en el universo funcional

By Henar Hernandez

nuevas dimensiones en el universo funcional

Henar Hernandez

Soy Licenciada en Ciencias Químicas por la Universidad Complutense y Doctora en Física de Sistemas Complejos por la UPM. Mi tesis consta de un montón de líneas de código escritas principalmente en C (con memoria dinámica, punteros y esas cosas bonita

HenarMendiola