Elixir v1.20: Revolución en la Inferencia de Tipos y Optimización de Compilación

Elixir v1.20 ha sido lanzado, introduciendo un sistema de tipos gradual que permite la inferencia de tipos y la verificación de errores sin necesidad de anotaciones de tipo. Este avance, resultado de una colaboración entre CNRS y Remote, mejora la detección de código muerto y errores verificados en programas existentes. La nueva versión también optimiza los tiempos de compilación, especialmente en máquinas con múltiples núcleos, y se anticipa la introducción de nuevas firmas de tipo en futuras versiones, dependiendo del rendimiento del sistema actual.