Elixir v1.20 devient un langage progressivement typé
Original : Elixir v1.20: Now a gradually typed language
Pourquoi c'est important
Evolution majeure apportant la sécurité de types aux programmes Elixir existants
Elixir v1.20 introduit un système de types progressif sans annotations, utilisant le type dynamic() pour l'inférence et la détection d'erreurs vérifiées dans le code existant, développé avec CNRS et Remote.
Elixir v1.20 marque l'achèvement du premier jalon de développement du système de types théoriques par ensembles annoncé en 2022. Le langage effectue désormais l'inférence de types et la vérification graduelle de chaque programme Elixir sans annotations. Le système détecte efficacement le code mort et les bogues vérifiés avec un taux de faux positifs extrêmement bas. Le type dynamic() d'Elixir diffère des autres langages graduellement typés par ses propriétés de compatibilité et de rétrécissement. Le projet, fruit d'un partenariat CNRS-Remote, est sponsorisé par Fresha et Tidewave. Elixir réussit 12 des 13 catégories du benchmark 'If T: Benchmark for Type Narrowing'.