Elixir evoluciona como un lenguaje con sistema de tipos gradual

• Elixir marca 13 años desde su primer commit y oficialmente pasa a ser un lenguaje con tipado gradual
• Actualmente realiza inferencia de tipos y verificación de tipos para bitstring, y ya soporta todos los tipos (aunque aún no admite subtipado (sub-typing) entre tipos)
• El primer hito es realizar inferencia sobre patrones (patterns) y guards
• Esta inferencia funciona de una forma que detecta bugs sin cambiar el lenguaje ni la base de código existente
• El objetivo es completar la inferencia de todos los patrones y guards para Elixir v1.17

---

Anuncio de la transición a un lenguaje con tipado gradual

• Coincidiendo con los 13 años desde el primer commit del repo de Elixir, se anunció oficialmente que Elixir es un lenguaje con tipado gradual
• Alcance actual de la implementación de verificación de tipos
  • Realiza inferencia de tipos y verificación de tipos para bitstring
  • Ya soporta todos los tipos (all types), pero aún no admite subtipado dentro de los tipos

Objetivos a futuro y primer hito

• Se fijó como objetivo realizar la inferencia de todos los patrones (patterns) y guards para Elixir v1.17
• El primer hito es realizar inferencia sobre patrones y guards
  • De una manera que permite detectar bugs en el código sin cambiar el lenguaje ni la base de código del usuario
  • Buscando que esta primera etapa sea un win-win para todos

[GN⁺]

Opiniones de Hacker News

• Agradecimiento a Jose

  • Expresan su agradecimiento a Jose por su trabajo en Elixir y en la comunidad.
  • Se valora mucho su cuidado y su dominio del lenguaje y de la comunidad.
  • Lo consideran un excelente ejemplo de estabilidad y constancia, y agradecen a alguien que ha tenido un gran impacto en su felicidad cotidiana.

• Interés en los lenguajes con tipado gradual

  • Les atraen los lenguajes con tipado gradual, pero aquí sienten que falta información.
  • Comparten un enlace a un artículo publicado a inicios de 2022 y buscan más información sobre este sistema de tipos.

• Opinión sobre la ausencia de tipos en Elixir

  • Para algunas personas, la falta de tipos en Elixir generaba rechazo.
  • Agregar tipos cuando el lenguaje está casi terminado parece ser el momento perfecto.
  • En Ruby no estaban convencidos con Sorbet porque sentían que iba en contra de la filosofía de un lenguaje dinámico, aunque sí les parece bien como una medida adicional para aumentar la seguridad.
  • Expresan confianza en que Elixir implementará correctamente el sistema de tipos.

• Confianza en Jose Valim y Anders Hejlsberg

  • Jose Valim es una de las pocas personas de la industria en quienes confían para implementar bien un sistema de tipos.
  • Anders Hejlsberg también es alguien en quien confían para la implementación de sistemas de tipos.

• Reacción a la incorporación del sistema de tipos en Elixir

  • Hace poco cambiaron de empresa y empezaron a usar Elixir, y extrañan mucho las ventajas del lenguaje tipado que disfrutaban en TypeScript.
  • Poder acceder al modelo de datos desde cualquier parte del proyecto es una gran ventaja de Elixir.
  • Les alegra mucho ver que Elixir, que ya era excelente, siga mejorando, y felicitan al equipo que participó en este trabajo.

• Importancia del sistema de tipos

  • Phoenix y antes RoR (Ruby on Rails) demostraron una alta productividad, pero podían surgir problemas fácilmente por los tipos y los errores en tiempo de ejecución.
  • Los tipos convierten muchos errores de ejecución en errores de compilación, lo que aporta grandes ventajas para desarrollar software confiable.

• Qué se puede aprender de la adopción gradual de tipos en PHP

  • Consideran que la adopción gradual de tipos en PHP fue muy práctica y esperan que haya lecciones valiosas que aprender de ahí.

• Opinión sobre la migración de desarrolladores de Ruby hacia Elixir

  • Deseaban que este tipo de esfuerzo estuviera integrado en Ruby, y señalan que muchos desarrolladores de Ruby ahora usan Elixir.
  • Indican que Elixir se está convirtiendo en un lenguaje sorprendente.

• Enfoque del equipo de Elixir y de Jose para introducir el sistema de tipos

  • Recomiendan ver las charlas del equipo de Elixir y en particular las de Jose.
  • Están abordando la incorporación del sistema de tipos con mucho cuidado y atención, y se esfuerzan por introducir un buen sistema de tipos.