Elixir évolue pour devenir un langage avec système de types progressif

• Elixir devient officiellement un langage à typage progressif 13 ans après le premier commit
• Effectue actuellement l’inférence et la vérification de types pour les bitstrings, et prend déjà en charge tous les types (mais pas encore le sous-typage (sub-typing) entre types)
• Le premier jalon consiste à réaliser l’inférence pour les patterns et les guards
• Cette inférence fonctionne de manière à détecter des bugs sans modifier le langage ni les bases de code existantes
• L’objectif est de finaliser l’inférence de tous les patterns et guards d’ici Elixir v1.17

---

Annonce du passage à un langage à typage progressif

• À l’occasion des 13 ans depuis le premier commit du dépôt Elixir, annonce officielle qu’Elixir est un langage à typage progressif
• Périmètre actuel de l’implémentation de la vérification de types
  • Inférence et vérification de types pour les bitstrings
  • Tous les types (all types) sont déjà pris en charge, mais le sous-typage à l’intérieur des types n’est pas encore pris en charge

Objectifs à venir et premier jalon

• L’objectif est de réaliser l’inférence de tous les patterns et guards d’ici Elixir v1.17
• Le premier jalon consiste à réaliser l’inférence pour les patterns et les guards
  • Une approche qui permet de détecter des bugs dans le code sans modifier le langage ni la base de code des utilisateurs
  • Avec l’ambition que cette première étape soit win-win pour tout le monde

[GN⁺]

Avis Hacker News

• Remerciements à Jose

  • Remercie Jose pour ses efforts en faveur d’Elixir et de la communauté.
  • Son attention et son expertise concernant le langage et la communauté sont très appréciées.
  • C’est un excellent exemple de la stabilité et de l’assiduité de Jose, et un remerciement adressé à une personne qui a eu un grand impact sur le bonheur du quotidien.

• Intérêt pour les langages à typage progressif

  • A une certaine sympathie pour les langages progressivement typés, mais estime qu’il manque ici des informations.
  • Fournit un lien vers un article publié au début de 2022 et cherche davantage d’informations sur ce système de types.

• Avis sur l’absence de types dans Elixir

  • L’absence de types dans Elixir rebutait certaines personnes.
  • Ajouter des types à un moment où le langage est presque achevé semble être le timing parfait.
  • Avec Ruby, Sorbet ne convainquait pas totalement car cela semblait aller à l’encontre de la philosophie d’un langage dynamique, mais c’est apprécié comme moyen supplémentaire d’améliorer la sûreté.
  • Exprime sa confiance dans le fait qu’Elixir mettra en œuvre correctement un système de types.

• Confiance envers Jose Valim et Anders Hejlsberg

  • Jose Valim fait partie des très rares personnes du secteur en qui l’on croit capables d’implémenter correctement un système de types.
  • Anders Hejlsberg est également une personne à qui l’on fait confiance pour l’implémentation des systèmes de types.

• Réaction à l’ajout d’un système de types à Elixir

  • A récemment changé d’entreprise et s’est mis à utiliser Elixir, en regrettant beaucoup les avantages d’un langage typé dont il bénéficiait avec TypeScript.
  • Le fait de pouvoir accéder au modèle de données partout dans le projet est un grand atout d’Elixir.
  • Se réjouit énormément de voir Elixir, déjà excellent, encore s’améliorer, et félicite l’équipe ayant participé à ce travail.

• Importance du système de types

  • Phoenix et auparavant RoR (Ruby on Rails) ont prouvé leur grande productivité, mais les problèmes liés aux types et aux erreurs d’exécution pouvaient facilement devenir source d’ennuis.
  • Les types permettent de transformer une grande partie des erreurs d’exécution en erreurs détectées à la compilation, ce qui constitue un avantage majeur pour développer des logiciels fiables.

• Ce qu’il faut retenir de l’introduction progressive du typage en PHP

  • Estime que l’introduction progressive du typage en PHP est très pragmatique et espère qu’il y a des leçons à en tirer.

• Avis sur le passage des développeurs Ruby vers Elixir

  • Aurait aimé que ce type d’effort soit intégré à Ruby, et note que beaucoup de développeurs Ruby utilisent désormais Elixir.
  • Souligne qu’Elixir évolue pour devenir un langage remarquable.

• L’approche de l’équipe Elixir et de Jose pour introduire un système de types

  • Recommande de regarder l’équipe Elixir et en particulier les conférences de Jose.
  • Ils abordent l’introduction d’un système de types avec beaucoup de prudence et de minutie, et s’efforcent de mettre en place un bon système de types.