Elixir v1.18

Elixir 1.18 marque le début d'une aventure sur plusieurs années : l'introduction graduelle d'un système de types. José Valim et son équipe ont opté pour les set-theoretic types, un système capable d'exprimer des types comme des unions et intersections d'ensembles. L'approche est progressive : les annotations sont optionnelles et l'inférence fonctionne sans elles.

Les types en 1.18 sont principalement utilisés pour la vérification interne par le compilateur, avec des avertissements plutôt que des erreurs. L'objectif est d'améliorer la détection d'erreurs à la compilation sans casser l'ergonomie dynamique qui fait le charme d'Elixir. Les versions suivantes élargiront la couverture et les capacités d'inférence.