El Tipado Gradual en Elixir
Details
Hola!
Comenzamos el año con Ángel Herranz (UPM) como ponente.
El día 8 de enero José Valim escribe un post en X anunciando que Elixir es, oficialmente, un lenguaje "gradualmente tipado". Vamos a aprender un poquito de lenguaje de tipos de Elixir.
Para los amantes de los tipos "clásicos" (à la Hindley-Milner) les sorprenderá el mundo de los tipos basados en teoría de conjuntos. Para los "haters" del tipado clásico descubrirá que pueden tipar valores como listas de átomos o strings excepto el átomo nil.
La charla será en las oficinas de Doofinder, que además nos ofrecerá bebidas y pizza para hacer networking tras la charla.
Para el control de acceso y ayudarnos a calcular cuanta pizza necesitamos, es necesario apuntarse tanto en Meetup como en el siguiente formulario:
https://forms.gle/aRtSBtsQoaZzfyr1A
Nos vemos!