Elixir v1.20 : le langage devient graduellement typé (en)

Elixir v1.20 introduit un système de types set-theoretic avec inférence de types et vérification graduelle, sans nécessiter d’annotations. Le type dynamic() permet de détecter des bugs vérifiés (violations garanties à l’exécution) avec un taux de faux positifs extrêmement faible. Le système supporte le narrowing de types et passe 12 des 13 catégories du benchmark “If T: Benchmark for Type Narrowing”. Ce travail résulte d’un partenariat entre le CNRS et Remote, avec le soutien de Fresha et Tidewave.