El camino de Elixir hacia el tipado estático gradual

Lenguajes con tipos estáticos en origen hay muchos, y cada vez más ecosistemas de tipado dinámico están añadiendo tipado estático.

Elixir emprendió este camino hace ya unos años y acaba de alcanzar su primer gran hito.

Es un buen momento para repasar la ruta trazada y los pasos que se han dado para lograr algo que parecía imposible: introducir tipado estático en Elixir sin romper nada.

Veremos algunos conceptos básicos de tipos en lenguajes de programación y cómo encajan los tipos de la teoría de conjuntos (set-theoretic types) en esta evolución, y haremos alguna breve revisión/comparación de cómo otros lenguajes han recorrido un camino "similar".

La charla será impartida por José Luis Esteban Aparicio y será nuestro último evento antes de verano.

Tras la charla tendremos networking y pizza, cortesia de Doofinder.

(Para el control de acceso es necesario apuntarse en el siguiente formulario: https://forms.gle/aRtSBtsQoaZzfyr1A)

¡Nos vemos!
Hector